Lines Matching refs:vptr
91 static ept_pml4e_t *CONST lookupEPTPML4Slot(ept_pml4e_t *pml4, vptr_t vptr)
93 return pml4 + GET_EPT_PML4_INDEX(vptr);
96 static lookupEPTPDPTSlot_ret_t CONST lookupEPTPDPTSlot(ept_pml4e_t *pml4, vptr_t vptr)
101 pml4Slot = lookupEPTPML4Slot(pml4, vptr);
112 uint32_t index = GET_EPT_PDPT_INDEX(vptr);
118 static lookupEPTPDSlot_ret_t lookupEPTPDSlot(ept_pml4e_t *pml4, vptr_t vptr)
123 lu_ret = lookupEPTPDPTSlot(pml4, vptr);
142 uint32_t index = GET_EPT_PD_INDEX(vptr);
148 static lookupEPTPTSlot_ret_t lookupEPTPTSlot(ept_pml4e_t *pml4, vptr_t vptr)
153 lu_ret = lookupEPTPDSlot(pml4, vptr);
173 uint32_t index = GET_EPT_PT_INDEX(vptr);
195 EPTPDPTMapped_ret_t EPTPDPTMapped(asid_t asid, vptr_t vptr, ept_pdpte_t *pdpt)
209 pml4Slot = lookupEPTPML4Slot(asid_ret.ept, vptr);
969 void unmapEPTPage(vm_page_size_t page_size, asid_t asid, vptr_t vptr, void *pptr)
983 lu_ret = lookupEPTPTSlot(find_ret.ept, vptr);
1000 lu_ret = lookupEPTPDSlot(find_ret.ept, vptr);