Searched refs:EPTPageTableMapped (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dept.h50 EPTPageTableMapped_ret_t EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt);
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c601 EPTPageTableMapped(asid_t asid, vptr_t vaddr, ept_pte_t *pt) function
642 lu_ret = EPTPageTableMapped(asid, vaddr, pt);

Completed in 32 milliseconds