Searched refs:pte0 (Results 1 – 3 of 3) sorted by relevance
53 free_page((unsigned long)image->arch.pte0); in machine_kexec_free_page_tables()54 image->arch.pte0 = NULL; in machine_kexec_free_page_tables()67 image->arch.pte0 = (pte_t *)get_zeroed_page(GFP_KERNEL); in machine_kexec_alloc_page_tables()73 !image->arch.pte0 || !image->arch.pte1) { in machine_kexec_alloc_page_tables()110 image->arch.pgd, pmd, image->arch.pte0, in machine_kexec_prepare_page_tables()
189 u32 pte0, pte1; in kvmppc_mmu_book3s_32_xlate_pte() local216 pte0 = be32_to_cpu(pteg[i]); in kvmppc_mmu_book3s_32_xlate_pte()218 if (ptem == pte0) { in kvmppc_mmu_book3s_32_xlate_pte()246 pte0, pte1, pp); in kvmppc_mmu_book3s_32_xlate_pte()
263 u64 pte0 = be64_to_cpu(pteg[i]); in kvmppc_mmu_book3s_64_xlate() local267 if ((pte0 & v_mask) == v_val) { in kvmppc_mmu_book3s_64_xlate()