Searched refs:KOBJECT_PAGE_DIRECTORY (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/
H A Dkobject_t.h23 KOBJECT_PAGE_DIRECTORY = KOBJECT_MODE_NUM_TYPES, enumerator in enum:_arm_kobject_type
52 case KOBJECT_PAGE_DIRECTORY:
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/
H A Dkobject_t.h23 KOBJECT_PAGE_DIRECTORY, enumerator in enum:_riscv_kobject_type
55 case KOBJECT_PAGE_DIRECTORY:
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/
H A Dkobject_t.h24 KOBJECT_PAGE_DIRECTORY, enumerator in enum:_x86_kobject_type
54 case KOBJECT_PAGE_DIRECTORY:
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/
H A Dkobject_t.h63 case KOBJECT_PAGE_DIRECTORY:
H A Dobject.h227 return vka_alloc_object(vka, kobject_get_type(KOBJECT_PAGE_DIRECTORY, 0), seL4_PageDirBits, result);

Completed in 79 milliseconds