Searched defs:KOBJECT_PAGE_TABLE (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ | ||
H A D | kobject_t.h | 24 KOBJECT_PAGE_TABLE, enumerator in enum:_arm_kobject_type |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ | ||
H A D | kobject_t.h | 25 KOBJECT_PAGE_TABLE, enumerator in enum:_x86_kobject_type |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ | ||
H A D | kobject_t.h | 24 KOBJECT_PAGE_TABLE, enumerator in enum:_riscv_kobject_type |
Completed in 88 milliseconds