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

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h24 seL4_X86_EPTPDPTObject, enumerator in enum:_object
39 #define seL4_X86_EPTPDPTObject 0xfffffc macro
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dobject.h29 return vka_alloc_object(vka, seL4_X86_EPTPDPTObject, seL4_X86_EPTPDPTBits, result);
43 return vka_alloc_object(vka, seL4_X86_EPTPDPTObject, seL4_X86_EPTPDPTBits, result);
83 case seL4_X86_EPTPDPTObject:
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/
H A Dmapping.c53 obj->type = seL4_X86_EPTPDPTObject;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c447 case seL4_X86_EPTPDPTObject:
475 case seL4_X86_EPTPDPTObject:

Completed in 33 milliseconds