Lines Matching refs:pt
49 static inline map_addr_t get_pfn_from_pt(map_addr_t pt) { in get_pfn_from_pt() argument
52 pfn = (pt & X86_2MB_PAGE_FRAME); in get_pfn_from_pt()
74 static inline map_addr_t get_pt_entry_from_page_table(vaddr_t vaddr, map_addr_t pt) { in get_pt_entry_from_page_table() argument
79 pt_table = (map_addr_t *)(pt & X86_PG_FRAME); in get_pt_entry_from_page_table()
140 map_addr_t pt, pte, pdt; in x86_mmu_get_mapping() local
164 pt = get_pd_entry_from_pd_table(vaddr, pdt); in x86_mmu_get_mapping()
165 if ((pt & X86_MMU_PG_P) == 0) { in x86_mmu_get_mapping()
175 pt = get_pd_entry_from_pd_table(vaddr, pdt); in x86_mmu_get_mapping()
176 if ((pt & X86_MMU_PG_P) == 0) in x86_mmu_get_mapping()
182 if (pt & X86_MMU_PG_PS) { in x86_mmu_get_mapping()
185 *last_valid_entry = get_pfn_from_pt(pt) + (vaddr & PAGE_OFFSET_MASK_2MB); in x86_mmu_get_mapping()
188 *last_valid_entry = get_pfn_from_pde(pt) + (vaddr & PAGE_OFFSET_MASK_4MB); in x86_mmu_get_mapping()
190 *mmu_flags = get_arch_mmu_flags((X86_PHYS_TO_VIRT(pt)) & X86_FLAGS_MASK); in x86_mmu_get_mapping()
195 pte = get_pt_entry_from_page_table(vaddr, pt); in x86_mmu_get_mapping()
198 *last_valid_entry = pt; in x86_mmu_get_mapping()
259 static void update_pt_entry(vaddr_t vaddr, map_addr_t paddr, map_addr_t pt, arch_flags_t flags) { in update_pt_entry() argument
262 map_addr_t *pt_table = (map_addr_t *)(pt & X86_PG_FRAME); in update_pt_entry()
310 map_addr_t pt, *m = NULL; in x86_mmu_add_mapping() local
333 pt = get_pd_entry_from_pd_table(vaddr, pdt); in x86_mmu_add_mapping()
335 if (pd_new || (pt & X86_MMU_PG_P) == 0) { in x86_mmu_add_mapping()
346 pt = (map_addr_t)m; in x86_mmu_add_mapping()
349 pt = get_pd_entry_from_pd_table(vaddr, init_table); in x86_mmu_add_mapping()
350 if ((pt & X86_MMU_PG_P) == 0) { in x86_mmu_add_mapping()
362 pt = (map_addr_t)m; in x86_mmu_add_mapping()
367 update_pt_entry(vaddr, paddr, pt, get_x86_arch_flags(mmu_flags)); in x86_mmu_add_mapping()