| /seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/arm/vka/arch/ |
| H A D | kobject_t.h | 32 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/x86/vka/arch/ |
| H A D | kobject_t.h | 33 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
51 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch32/vka/sel4_arch/ |
| H A D | kobject_t.h | 32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/aarch64/vka/sel4_arch/ |
| H A D | kobject_t.h | 34 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
54 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/ |
| H A D | kobject_t.h | 32 static inline seL4_Word arm_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/ia32/vka/sel4_arch/ |
| H A D | kobject_t.h | 33 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word UNUSED objectSize) argument
44 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word UNUSED objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/ |
| H A D | kobject_t.h | 34 static inline seL4_Word x86_mode_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
52 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/arch_include/riscv/vka/arch/ |
| H A D | kobject_t.h | 34 static inline seL4_Word arch_kobject_get_size(kobject_t type, seL4_Word objectSize) argument
52 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | kobject_t.h | 47 static inline seL4_Word kobject_get_size(kobject_t type, seL4_Word objectSize) argument
82 static inline seL4_Word kobject_get_type(kobject_t type, seL4_Word objectSize) argument
|
| H A D | object.h | 300 vka_get_object_size(seL4_Word objectType, seL4_Word objectSize) argument
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | objecttype.c | 589 word_t objectSize; local
|
| H A D | untyped.c | 39 word_t freeRef, alignedFreeRef, objectSize, untypedFreeBytes; local
|