Searched refs:seL4_X86_4K (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dobjecttype.h14 seL4_X86_4K = seL4_ModeObjectTypeCount, enumerator in enum:_object
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h42 #define seL4_ARCH_4KPage seL4_X86_4K
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h61 return seL4_X86_4K;
H A Dobject.h71 case seL4_X86_4K:
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c26 case seL4_X86_4K:
136 case seL4_X86_4K:
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c26 case seL4_X86_4K:
184 case seL4_X86_4K:
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dobjecttype.c430 case seL4_X86_4K:
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/
H A Dcapdl.h183 CDL_Frame = seL4_X86_4K,

Completed in 54 milliseconds