Searched refs:size_bits (Results 76 - 100 of 100) sorted by relevance

1234

/seL4-refos-master/libs/libsel4allocman/src/
H A Dallocman.c76 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 Dbootstrap.c151 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 Dallocman.c76 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 Dbootstrap.c151 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 Dboot.c128 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 Dhardware.h103 void flushCacheRange(void *vaddr, uint32_t size_bits);
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dmapping.h40 /* 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 Dmapping.h40 /* size_bits of this object */
41 seL4_Word size_bits; member in struct:__anon50
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dsyscall_stub_gen.py97 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 Dsyscall_stub_gen.py97 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 Dsyscall_stub_gen.py97 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 Dprocess_config.h113 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 Dvspace.h60 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 Dprocess_config.h113 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 Dvspace.h60 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 Dstate.c115 @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 Dstate.c115 @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 Dbootstrap.h231 * @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 Dbootstrap.h231 * @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 Dvirtual_pool.c55 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 Dvirtual_pool.c55 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 Dtimer.c104 obj->obj.size_bits = seL4_PageBits;
251 timer_objects->objs[i].obj.size_bits = seL4_PageBits;
/seL4-refos-master/libs/libsel4platsupport/src/
H A Dtimer.c104 obj->obj.size_bits = seL4_PageBits;
251 timer_objects->objs[i].obj.size_bits = seL4_PageBits;
/seL4-refos-master/libs/libsel4utils/src/
H A Dprocess.c442 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 Dprocess.c442 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;

Completed in 83 milliseconds

1234