Lines Matching refs:pt
127 BOOT_CODE bool_t map_kernel_window_devices(pte_t *pt, uint32_t num_ioapic, paddr_t *ioapic_paddrs, uint32_t num_drhu,
147 pt[idx] = pte;
158 pt[idx] = pte;
168 pt[idx] = pte;
183 pt[idx] = pte;
193 pt[idx] = pte;
634 pte_t *pt;
638 pt = paddr_to_pptr(pde_pde_pt_ptr_get_pt_base_address(pdSlot.pdSlot));
640 ptSlot = pt + ptIndex;
685 void flushTable(vspace_root_t *vspace, word_t vptr, pte_t *pt, asid_t asid)
696 if (pte_get_present(pt[i])) {
759 void unmapPageTable(asid_t asid, vptr_t vaddr, pte_t *pt)
777 (pde_pde_pt_ptr_get_pt_base_address(lu_ret.pdSlot) == pptr_to_paddr(pt)))) {
781 flushTable(find_ret.vspace_root, vaddr, pt, asid);
1109 pte_t *pt = PTE_PTR(cap_page_table_cap_get_capPTBasePtr(cap));
1113 pt
1115 clearMemory((void *)pt, cap_get_capSizeBits(cap));