Searched refs:seL4_X86_LargePageObject (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h15 seL4_X86_LargePageObject, enumerator in enum:_object
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h44 #define seL4_ARCH_LargePageObject seL4_X86_LargePageObject
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h63 return seL4_X86_LargePageObject;
H A Dobject.h73 case seL4_X86_LargePageObject:
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c28 case seL4_X86_LargePageObject:
148 case seL4_X86_LargePageObject:
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c28 case seL4_X86_LargePageObject:
208 case seL4_X86_LargePageObject:
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c432 case seL4_X86_LargePageObject:

Completed in 238 milliseconds