Searched refs:seL4_X86_PageDirectoryObject (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/
H A Dreservation.h18 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_X86_PageDirectoryObject, 0), seL4_X86_PageDirectoryObject, 1});
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h17 seL4_X86_PageDirectoryObject, enumerator in enum:_object
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/x86_64/
H A Dmapping.c28 obj->type = seL4_X86_PageDirectoryObject;
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h39 #define seL4_ARCH_PageDirectoryObject seL4_X86_PageDirectoryObject
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h55 return seL4_X86_PageDirectoryObject;
H A Dobject.h77 case seL4_X86_PageDirectoryObject:
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c168 case seL4_X86_PageDirectoryObject:
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c266 case seL4_X86_PageDirectoryObject:
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c436 case seL4_X86_PageDirectoryObject:
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h182 CDL_PD = seL4_X86_PageDirectoryObject,

Completed in 102 milliseconds