/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 37 switch (objectSize) { 40 return objectSize; 45 return arm_mode_kobject_get_size(type, objectSize); 49 static inline seL4_Word arch_kobject_get_type(kobject_t type, seL4_Word objectSize) argument 58 switch (objectSize) { 64 return arm_mode_kobject_get_type(type, objectSize); 67 return arm_mode_kobject_get_type(type, objectSize);
|
/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 39 switch (objectSize) { 42 return objectSize; 47 return x86_mode_kobject_get_size(type, objectSize); 51 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument 59 switch (objectSize) { 65 return x86_mode_kobject_get_type(type, objectSize); 70 return x86_mode_kobject_get_type(type, objectSize);
|
/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 37 switch (objectSize) { 40 return objectSize; 51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument 55 switch (objectSize) {
|
/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 39 switch (objectSize) { 41 return objectSize; 54 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument 58 switch (objectSize) {
|
/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 37 switch (objectSize) { 40 return objectSize; 51 static inline seL4_Word arm_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument 55 switch (objectSize) {
|
/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 38 switch (objectSize) { 40 return objectSize; 52 static inline seL4_Word x86_mode_kobject_get_type(kobject_t type, seL4_Word objectSize) argument 56 switch (objectSize) {
|
/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 38 switch (objectSize) { 41 return objectSize; 52 static inline seL4_Word arch_kobject_get_type(int type, seL4_Word objectSize) argument 59 switch (objectSize) { 73 ZF_LOGE("Unknown frame size %zu", (size_t) objectSize);
|
/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 54 return (seL4_SlotBits + objectSize); 58 return objectSize; 71 return objectSize > seL4_MinSchedContextBits ? objectSize : seL4_MinSchedContextBits; 78 return arch_kobject_get_size(type, objectSize); 82 static inline seL4_Word kobject_get_type(kobject_t type, seL4_Word objectSize) argument 109 return arch_kobject_get_type(type, objectSize);
|
H A D | object.h | 300 vka_get_object_size(seL4_Word objectType, seL4_Word objectSize) argument 305 return objectSize; 310 return objectSize > seL4_MinSchedContextBits ? objectSize : seL4_MinSchedContextBits; 319 return (seL4_SlotBits + objectSize);
|
/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/kernel/src/object/ |
H A D | untyped.c | 39 word_t freeRef, alignedFreeRef, objectSize, untypedFreeBytes; local 76 objectSize = getObjectSize(newType, userObjSize); 81 if (userObjSize >= wordBits || objectSize > seL4_MaxUntypedBits) { 207 if ((untypedFreeBytes >> objectSize) < nodeWindow) { 211 (objectSize >= wordBits ? -1 : (1ul << objectSize)), 229 alignedFreeRef = alignUp(freeRef, objectSize);
|
H A D | objecttype.c | 589 word_t objectSize; local 595 objectSize = getObjectSize(t, userSize); 596 totalObjectSize = slots.length << objectSize; 604 /** AUXUPD: "(True, typ_region_bytes (ptr_val \<acute> nextFreeArea + ((\<acute> i) << unat (\<acute> objectSize))) (unat (\<acute> objectSize)))" */ 605 cap_t cap = createObject(t, (void *)((word_t)nextFreeArea + (i << objectSize)), userSize, deviceMemory);
|