/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | malloc.c | 18 void *_mspace_malloc_alloc(allocman_t *alloc, void *unused, size_t bytes, int *error) argument 20 void *result = malloc(bytes); 25 void _mspace_malloc_free(allocman_t *alloc, void *unsued, void *ptr, size_t bytes) argument
|
H A D | dual_pool.c | 33 void *_mspace_dual_pool_alloc(allocman_t *alloc, void *_dual_pool, size_t bytes, int *error) argument 39 void *ret = _mspace_virtual_pool_alloc(alloc, &dual_pool->virtual_pool, bytes, &_error); 46 return _mspace_fixed_pool_alloc(alloc, &dual_pool->fixed_pool, bytes, error); 49 void _mspace_dual_pool_free(struct allocman *alloc, void *_dual_pool, void *ptr, size_t bytes) argument 53 _mspace_fixed_pool_free(alloc, &dual_pool->fixed_pool, ptr, bytes); 55 _mspace_virtual_pool_free(alloc, &dual_pool->virtual_pool, ptr, bytes);
|
H A D | fixed_pool.c | 44 void *_mspace_fixed_pool_alloc(struct allocman *alloc, void *_fixed_pool, size_t bytes, int *error) argument 48 ret = mspace_k_r_malloc_alloc(&fixed_pool->k_r_malloc, bytes); 57 void _mspace_fixed_pool_free(struct allocman *alloc, void *_fixed_pool, void *ptr, size_t bytes) argument
|
H A D | vspace_pool.c | 54 void *_mspace_vspace_pool_alloc(struct allocman *alloc, void *_vspace_pool, size_t bytes, int *error) argument 59 ret = mspace_k_r_malloc_alloc(&vspace_pool->k_r_malloc, bytes); 65 void _mspace_vspace_pool_free(struct allocman *alloc, void *_vspace_pool, void *ptr, size_t bytes) argument
|
H A D | virtual_pool.c | 113 void *_mspace_virtual_pool_alloc(struct allocman *alloc, void *_virtual_pool, size_t bytes, int *error) argument 118 ret = mspace_k_r_malloc_alloc(&virtual_pool->k_r_malloc, bytes); 124 void _mspace_virtual_pool_free(struct allocman *alloc, void *_virtual_pool, void *ptr, size_t bytes) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | mspace.h | 21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error); 22 void (*free)(struct allocman *alloc, void *cookie, void *ptr, size_t bytes);
|
H A D | malloc.h | 29 void *_mspace_malloc_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error); 30 void _mspace_malloc_free(struct allocman *alloc, void *unsued, void *ptr, size_t bytes);
|
H A D | null.h | 24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument 30 static inline void _mspace_null_free(struct allocman *alloc, void *unused, void *ptr, size_t bytes) argument
|
H A D | dual_pool.h | 37 void *_mspace_dual_pool_alloc(struct allocman *alloc, void *_dual_pool, size_t bytes, int *error); 38 void _mspace_dual_pool_free(struct allocman *alloc, void *_dual_pool, void *ptr, size_t bytes);
|
H A D | fixed_pool.h | 37 void *_mspace_fixed_pool_alloc(struct allocman *alloc, void *_fixed_pool, size_t bytes, int *error); 38 void _mspace_fixed_pool_free(struct allocman *alloc, void *_fixed_pool, void *ptr, size_t bytes);
|
H A D | virtual_pool.h | 40 void *_mspace_virtual_pool_alloc(struct allocman *alloc, void *_virtual_pool, size_t bytes, int *error); 41 void _mspace_virtual_pool_free(struct allocman *alloc, void *_virtual_pool, void *ptr, size_t bytes);
|
H A D | vspace_pool.h | 48 void *_mspace_vspace_pool_alloc(struct allocman *alloc, void *_vspace_pool, size_t bytes, int *error); 49 void _mspace_vspace_pool_free(struct allocman *alloc, void *_vspace_pool, void *ptr, size_t bytes);
|
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | debug.h | 29 * @param[in] bytes The number of bytes to print 30 * @param[in] word_size The number of bytes in a displayed word 32 void utils_memory_dump(void* address, size_t bytes, int word_size);
|
H A D | page.h | 22 #define BYTES_TO_SIZE_BITS(bytes) (LOG_BASE_2(bytes)) 33 /* convert b bytes to the number of pages of size size_bits required for that many bytes */
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/include/sel4vm/ |
H A D | guest_ram.h | 79 * @function vm_ram_register(vm, bytes) 82 * @param {size_t} bytes Size of RAM region to allocate 85 uintptr_t vm_ram_register(vm_t *vm, size_t bytes); 88 * @function vm_ram_register_at(vm, start, bytes, untyped) 96 int vm_ram_register_at(vm_t *vm, uintptr_t start, size_t bytes, bool untyped); 99 * @function vm_ram_register_at(vm, start, bytes, untyped) 108 int vm_ram_register_at_custom_iterator(vm_t *vm, uintptr_t start, size_t bytes, memory_map_iterator_fn map_iterator, 112 * @function vm_ram_mark_allocated(vm, start, bytes) 116 * @param {size_t} bytes Size of RAM region 118 void vm_ram_mark_allocated(vm_t *vm, uintptr_t start, size_t bytes); [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 34 int bytes = ABS(fmt); local 37 for (i = 0; i < bytes; i++) { 38 int idx = (fmt > 0) ? i : (bytes - 1) - i; 41 data += bytes; 42 buf += bytes; 51 int bytes = ABS(fmt); local 52 for (i = 0; i < bytes; i++, reg >>= 8) { 53 int idx = (fmt > 0) ? i : (bytes - 1) - i; 63 int abytes, dbytes, bytes; local 77 bytes 102 int abytes, dbytes, bytes; local [all...] |
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | debug.c | 75 utils_memory_dump(void* address, size_t bytes, int word_size) argument 79 /* Notify the caller if 'bytes' is not a multple of MD_BYTES_PER_LINE */ 80 if (bytes % MD_BYTES_PER_LINE) { 81 int extra_bytes = MD_BYTES_PER_LINE - (bytes % MD_BYTES_PER_LINE); 82 LOG_INFO("Rounding displayed bytes from %zu up to %zu", bytes, bytes + extra_bytes); 83 bytes += extra_bytes; 86 for (a = address; a < address + bytes; a += MD_BYTES_PER_LINE) {
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | tftp_server.h | 73 * @param bytes Number of bytes to copy to buf 76 int (*read)(void* handle, void* buf, int bytes);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | guest_ram.c | 89 static int expand_guest_ram_region(vm_t *vm, uintptr_t start, size_t bytes) argument 94 err = push_guest_ram_region(guest_memory, start, bytes, 0); 205 void vm_ram_mark_allocated(vm_t *vm, uintptr_t start, size_t bytes) argument 213 guest_memory->ram_regions[i].start + guest_memory->ram_regions[i].size >= start + bytes) { 226 push_guest_ram_region(guest_memory, start, bytes, 1); 227 push_guest_ram_region(guest_memory, start + bytes, r.size - bytes - (start - r.start), 0); 233 uintptr_t vm_ram_allocate(vm_t *vm, size_t bytes) argument 237 if (!guest_memory->ram_regions[i].allocated && guest_memory->ram_regions[i].size >= bytes) { 239 vm_ram_mark_allocated(vm, addr, bytes); 321 vm_ram_register(vm_t *vm, size_t bytes) argument 347 vm_ram_register_at(vm_t *vm, uintptr_t start, size_t bytes, bool untyped) argument 372 vm_ram_register_at_custom_iterator(vm_t *vm, uintptr_t start, size_t bytes, memory_map_iterator_fn map_iterator, void *cookie) argument 398 vm_ram_free(vm_t *vm, uintptr_t start, size_t bytes) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 99 * @param bytes the size in bytes to map. 106 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes, 355 * @param bytes the size in bytes to map. 363 typedef reservation_t (*vspace_reserve_range_aligned_fn)(vspace_t *vspace, size_t bytes, size_t size_bits, 372 * @param bytes the size in bytes to map. 379 size_t bytes, seL4_CapRights_t rights, int cacheable); 388 * @param bytes th 710 vspace_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **vaddr) argument 738 vspace_reserve_range_at(vspace_t *vspace, void *vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument 761 vspace_reserve_deferred_rights_range_at(vspace_t *vspace, void *vaddr, size_t bytes, int cacheable) argument [all...] |
/seL4-camkes-master/kernel/manual/tools/ |
H A D | gen_env.py | 25 # in python3, this is a bytes, so convert it to a str 26 if isinstance(commit_date_string, bytes):
|
/seL4-camkes-master/projects/sel4runtime/include/ |
H A D | sel4runtime.h | 69 * Get the size in bytes needed to store the thread's TLS. 142 sel4runtime_size_t bytes
|
/seL4-camkes-master/tools/seL4/cmake-tool/helpers/ |
H A D | shoehorn.py | 79 bytes = bytearray() 80 bytes.extend([byte for block in entry.get_blocks() for byte in block]) 81 return io.BytesIO(bytes)
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | mouse.c | 33 static ssize_t mouse_read(ps_chardevice_t* d, void* vdata, size_t bytes, argument 41 if (size > bytes) {
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 40 /// The number of bytes transfered thus far 42 /// The total number of bytes to transfer 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); 54 ssize_t (*write)(ps_chardevice_t* device, const void* data, size_t bytes, chardev_callback_t cb, void* token); 133 * @param[in] size The number of bytes to read 135 * bytes have been read. The caller must periodically call 139 * @return Returns the number of bytes read on succes, negative 145 * number of bytes are available. 157 * @param[in] size The number of bytes to write 159 * bytes hav [all...] |