Searched refs:seL4_X86_EPTPTObject (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h26 seL4_X86_EPTPTObject, enumerator in enum:_object
41 #define seL4_X86_EPTPTObject 0xfffffa macro
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dobject.h39 return vka_alloc_object(vka, seL4_X86_EPTPTObject, seL4_X86_EPTPTBits, result);
87 case seL4_X86_EPTPTObject:
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/
H A Dmapping.c43 obj->type = seL4_X86_EPTPTObject;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c451 case seL4_X86_EPTPTObject:
489 case seL4_X86_EPTPTObject:

Completed in 68 milliseconds