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

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dept.h37 ept_pml4e_t *ept; member in struct:findEPTForASID_ret
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c360 sel4utils_get_vspace_ept(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr ept, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c42 void deleteEPTASID(asid_t asid, ept_pml4e_t *ept) argument
[all...]

Completed in 98 milliseconds