/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | allocman.c | 76 static void allocman_utspace_queue_for_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) { argument 82 (struct allocman_freed_utspace_chunk) {size_bits, cookie}; 112 void allocman_utspace_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument 114 ALLOCMAN_FREE(alloc, utspace, cookie, size_bits); 144 static seL4_Word _try_watermark_utspace(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, int *_error) argument 149 if (alloc->utspace_chunk[i].size_bits == size_bits && alloc->utspace_chunk[i].type == type) { 264 static seL4_Word _allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error, int use_watermark) argument 277 ret = _try_watermark_utspace(alloc, size_bits, type, path, _error); 279 ZF_LOGI("Failed to allocate utspace from watermark. size %zu type %ld\n", size_bits, (lon 323 allocman_utspace_alloc_at(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error) argument [all...] |
H A D | bootstrap.c | 151 static int _add_ut(bootstrap_info_t *bs, cspacepath_t slot, size_t size_bits, uintptr_t paddr, bool isDevice) { argument 188 new_size_bits[bs->num_uts] = size_bits; 199 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice) { argument 203 error = _add_ut(bs, uts[i], size_bits[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR, isDevice); 222 size_t size_bits = bi->untypedList[index].sizeBits; local 224 error = _add_ut(bs, slot, size_bits, paddr, bi->untypedList[index].isDevice); 243 size_t size_bits; local 247 simple_get_nth_untyped(simple, i, &size_bits, &paddr, &device)); 248 error = _add_ut(bs, slot, size_bits, paddr, device); 410 static int bootstrap_use_current_1level_cspace(bootstrap_info_t *bs, seL4_CPtr cnode, size_t size_bits, size_ argument 1010 handle_device_untyped_cap(add_untypeds_state_t *state, uintptr_t paddr, size_t size_bits, cspacepath_t *path, allocman_t *alloc ) argument 1124 size_t size_bits; local 1233 size_t size_bits; local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 76 static void allocman_utspace_queue_for_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) { argument 82 (struct allocman_freed_utspace_chunk) {size_bits, cookie}; 112 void allocman_utspace_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument 114 ALLOCMAN_FREE(alloc, utspace, cookie, size_bits); 144 static seL4_Word _try_watermark_utspace(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, int *_error) argument 149 if (alloc->utspace_chunk[i].size_bits == size_bits && alloc->utspace_chunk[i].type == type) { 264 static seL4_Word _allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error, int use_watermark) argument 277 ret = _try_watermark_utspace(alloc, size_bits, type, path, _error); 279 ZF_LOGI("Failed to allocate utspace from watermark. size %zu type %ld\n", size_bits, (lon 323 allocman_utspace_alloc_at(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error) argument [all...] |
H A D | bootstrap.c | 151 static int _add_ut(bootstrap_info_t *bs, cspacepath_t slot, size_t size_bits, uintptr_t paddr, bool isDevice) { argument 188 new_size_bits[bs->num_uts] = size_bits; 199 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice) { argument 203 error = _add_ut(bs, uts[i], size_bits[i], paddr ? paddr[i] : ALLOCMAN_NO_PADDR, isDevice); 222 size_t size_bits = bi->untypedList[index].sizeBits; local 224 error = _add_ut(bs, slot, size_bits, paddr, bi->untypedList[index].isDevice); 243 size_t size_bits; local 247 simple_get_nth_untyped(simple, i, &size_bits, &paddr, &device)); 248 error = _add_ut(bs, slot, size_bits, paddr, device); 410 static int bootstrap_use_current_1level_cspace(bootstrap_info_t *bs, seL4_CPtr cnode, size_t size_bits, size_ argument 1010 handle_device_untyped_cap(add_untypeds_state_t *state, uintptr_t paddr, size_t size_bits, cspacepath_t *path, allocman_t *alloc ) argument 1124 size_t size_bits; local 1233 size_t size_bits; local [all...] |
/seL4-refos-master/kernel/src/kernel/ |
H A D | boot.c | 128 BOOT_CODE static pptr_t alloc_rootserver_obj(word_t size_bits, word_t n) argument 132 assert(allocated % BIT(size_bits) == 0); 133 rootserver_mem.start += (n * BIT(size_bits)); 136 memzero((void *) allocated, n * BIT(size_bits)); 563 word_t size_bits, 572 pptr_to_paddr((void *)pptr), size_bits, device_memory, {0} 574 ut_cap = cap_untyped_cap_new(MAX_FREE_INDEX(size_bits), 575 device_memory, size_bits, pptr); 592 word_t size_bits; local 596 size_bits 559 provide_untyped_cap( cap_t root_cnode_cap, bool_t device_memory, pptr_t pptr, word_t size_bits, seL4_SlotPos first_untyped_slot ) argument [all...] |
/seL4-refos-master/kernel/include/arch/x86/arch/machine/ |
H A D | hardware.h | 103 void flushCacheRange(void *vaddr, uint32_t size_bits);
|
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | mapping.h | 40 /* size_bits of this object */ 41 seL4_Word size_bits; member in struct:__anon49
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | mapping.h | 40 /* size_bits of this object */ 41 seL4_Word size_bits; member in struct:__anon50
|
/seL4-refos-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 97 def __init__(self, name, size_bits, wordsize, double_word=False, native_size_bits=None): 99 Define a new type, named 'name' that is 'size_bits' bits 104 self.size_bits = size_bits 118 self.native_size_bits = size_bits 121 return self.size_bits > self.wordsize and not self.double_word 150 return "({0}) {1}".format(TYPES[self.size_bits], var_name) 152 return "({0}) ({1} >> {2})".format(TYPES[self.size_bits], var_name, 190 def __init__(self, name, size_bits, wordsize): 191 Type.__init__(self, name, size_bits, wordsiz [all...] |
/seL4-refos-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 97 def __init__(self, name, size_bits, wordsize, double_word=False, native_size_bits=None): 99 Define a new type, named 'name' that is 'size_bits' bits 104 self.size_bits = size_bits 118 self.native_size_bits = size_bits 121 return self.size_bits > self.wordsize and not self.double_word 150 return "({0}) {1}".format(TYPES[self.size_bits], var_name) 152 return "({0}) ({1} >> {2})".format(TYPES[self.size_bits], var_name, 190 def __init__(self, name, size_bits, wordsize): 191 Type.__init__(self, name, size_bits, wordsiz [all...] |
/seL4-refos-master/libs/libsel4/tools/ |
H A D | syscall_stub_gen.py | 97 def __init__(self, name, size_bits, wordsize, double_word=False, native_size_bits=None): 99 Define a new type, named 'name' that is 'size_bits' bits 104 self.size_bits = size_bits 118 self.native_size_bits = size_bits 121 return self.size_bits > self.wordsize and not self.double_word 150 return "({0}) {1}".format(TYPES[self.size_bits], var_name) 152 return "({0}) ({1} >> {2})".format(TYPES[self.size_bits], var_name, 190 def __init__(self, name, size_bits, wordsize): 191 Type.__init__(self, name, size_bits, wordsiz [all...] |
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | process_config.h | 113 static inline sel4utils_process_config_t process_config_create_cnode(sel4utils_process_config_t config, int size_bits) argument 116 config.one_level_cspace_size_bits = size_bits;
|
H A D | vspace.h | 60 int cacheable, size_t size_bits); 294 * @see sel4utils_reserve_range_no_alloc, however result is aligned to size_bits. 297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result); 354 uintptr_t sel4utils_get_paddr(vspace_t *vspace, void *vaddr, seL4_Word type, seL4_Word size_bits);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | process_config.h | 113 static inline sel4utils_process_config_t process_config_create_cnode(sel4utils_process_config_t config, int size_bits) argument 116 config.one_level_cspace_size_bits = size_bits;
|
H A D | vspace.h | 60 int cacheable, size_t size_bits); 294 * @see sel4utils_reserve_range_no_alloc, however result is aligned to size_bits. 297 size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result); 354 uintptr_t sel4utils_get_paddr(vspace_t *vspace, void *vaddr, seL4_Word type, seL4_Word size_bits);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.c | 115 @param size_bits the size of the object to allocate (as passed to Untyped_Retype). 122 seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) 131 return procServ.vka.utspace_alloc_at(data, dest, type, size_bits, paddr, cookie); 138 @param size_bits of the region in bits. 142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 150 return procServ.original_simple_get_frame_cap(data, paddr, size_bits, path); 121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.c | 115 @param size_bits the size of the object to allocate (as passed to Untyped_Retype). 122 seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) 131 return procServ.vka.utspace_alloc_at(data, dest, type, size_bits, paddr, cookie); 138 @param size_bits of the region in bits. 142 serial_get_frame_cap(void *data, void *paddr, int size_bits, cspacepath_t *path) argument 150 return procServ.original_simple_get_frame_cap(data, paddr, size_bits, path); 121 serial_utspace_alloc_at_fn(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *cookie) argument
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/ |
H A D | bootstrap.h | 231 * @param size_bits Size of each of the untypeds 237 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | bootstrap.h | 231 * @param size_bits Size of each of the untypeds 237 int bootstrap_add_untypeds(bootstrap_info_t *bs, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, bool isDevice);
|
/seL4-refos-master/libs/libsel4allocman/src/mspace/ |
H A D | virtual_pool.c | 55 seL4_Word cookie = allocman_utspace_alloc(alloc, obj.size_bits, obj.type, &path, false, &error);
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | virtual_pool.c | 55 seL4_Word cookie = allocman_utspace_alloc(alloc, obj.size_bits, obj.type, &path, false, &error);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | timer.c | 104 obj->obj.size_bits = seL4_PageBits; 251 timer_objects->objs[i].obj.size_bits = seL4_PageBits;
|
/seL4-refos-master/libs/libsel4platsupport/src/ |
H A D | timer.c | 104 obj->obj.size_bits = seL4_PageBits; 251 timer_objects->objs[i].obj.size_bits = seL4_PageBits;
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | process.c | 442 static int create_cspace(vka_t *vka, int size_bits, sel4utils_process_t *process, argument 446 int error = vka_alloc_cnode_object(vka, size_bits, &process->cspace); 452 process->cspace_size = size_bits;
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 442 static int create_cspace(vka_t *vka, int size_bits, sel4utils_process_t *process, argument 446 int error = vka_alloc_cnode_object(vka, size_bits, &process->cspace); 452 process->cspace_size = size_bits;
|