Searched refs:seL4_X86_EPTPML4Object (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h23 seL4_X86_EPTPML4Object, enumerator in enum:_object
38 #define seL4_X86_EPTPML4Object 0xfffffd macro
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dobject.h47 return vka_alloc_object(vka, seL4_X86_EPTPML4Object, seL4_X86_EPTPML4Bits, result);
89 case seL4_X86_EPTPML4Object:
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c445 case seL4_X86_EPTPML4Object:
469 case seL4_X86_EPTPML4Object:

Completed in 47 milliseconds