Searched refs:seL4_NonArchObjectTypeCount (Results 1 - 16 of 16) sorted by relevance
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/api/ |
H A D | objecttype.h | 17 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | objecttype.h | 17 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | objecttype.h | 17 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/api/ |
H A D | objecttype.h | 17 seL4_ARM_HugePageObject = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/include/arch/riscv/arch/32/mode/api/ |
H A D | objecttype.h | 21 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
H A D | objecttype.h | 17 seL4_ARM_HugePageObject = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | objecttype.h | 21 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount
|
/seL4-mcs-10.1.1/include/arch/x86/arch/32/mode/api/ |
H A D | objecttype.h | 21 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | objecttype.h | 21 seL4_ModeObjectTypeCount = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/include/api/ |
H A D | objecttype.h | 24 seL4_NonArchObjectTypeCount, enumerator in enum:api_object
|
/seL4-mcs-10.1.1/include/arch/riscv/arch/64/mode/api/ |
H A D | objecttype.h | 27 seL4_RISCV_Giga_Page = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/api/ |
H A D | objecttype.h | 21 seL4_X86_PDPTObject = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | objecttype.h | 24 seL4_NonArchObjectTypeCount, enumerator in enum:api_object
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | objecttype.h | 27 seL4_RISCV_Giga_Page = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
H A D | objecttype.h | 21 seL4_X86_PDPTObject = seL4_NonArchObjectTypeCount,
|
/seL4-mcs-10.1.1/src/object/ |
H A D | objecttype.c | 37 if (t >= seL4_NonArchObjectTypeCount) { 471 if (t >= (object_t) seL4_NonArchObjectTypeCount) {
|
Completed in 90 milliseconds