Searched refs:KOBJECT_ARCH_NUM_TYPES (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ | ||
H A D | kobject_t.h | 25 KOBJECT_ARCH_NUM_TYPES, enumerator in enum:_arm_kobject_type |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ | ||
H A D | kobject_t.h | 26 KOBJECT_ARCH_NUM_TYPES, enumerator in enum:_riscv_kobject_type |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ | ||
H A D | kobject_t.h | 26 KOBJECT_ARCH_NUM_TYPES, enumerator in enum:_x86_kobject_type |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ | ||
H A D | kobject_t.h | 25 KOBJECT_TCB = KOBJECT_ARCH_NUM_TYPES, |
Completed in 79 milliseconds