Searched defs:pde2 (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c807 performEPTPageMapPDE(cap_t cap, cte_t *cte, ept_pde_t *pdSlot, ept_pde_t pde1, ept_pde_t pde2, ept_pml4e_t *pml4) argument
976 ept_pde_t pde2 = ept_pde_ept_pde_2m_new( local

Completed in 113 milliseconds