| /seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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);
|