/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
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
|
/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 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 49 void _mspace_dual_pool_free(struct allocman *alloc, void *_dual_pool, void *ptr, size_t bytes) argument
|
H A D | fixed_pool.c | 44 void *_mspace_fixed_pool_alloc(struct allocman *alloc, void *_fixed_pool, size_t bytes, int *error) argument 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 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 124 void _mspace_virtual_pool_free(struct allocman *alloc, void *_virtual_pool, void *ptr, size_t bytes) argument
|
/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
|
H A D | cbor64.c | 104 static inline int send_endian_bytes(base64_t *streamer, unsigned char *bytes, size_t length) argument
|
/seL4-camkes-master/tools/riscv-pk/machine/ |
H A D | misaligned_ldst.c | 11 uint8_t bytes[8]; member in union:byte_array
|
/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
|
H A D | usbkbd.c | 275 kbd_read(ps_chardevice_t *d, void *vdata, size_t bytes, argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 148 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes, argument
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | i2c.c | 34 int bytes = ABS(fmt); local 51 int bytes = ABS(fmt); local 63 int abytes, dbytes, bytes; local 102 int abytes, dbytes, bytes; local [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | i2c.c | 296 size_t bytes = 0; local
|
/seL4-camkes-master/projects/projects_libs/libsdhcdrivers/src/ |
H A D | mmc.c | 367 size_t bytes; local
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 57 static void allocman_mspace_queue_for_free(allocman_t *alloc, void *ptr, size_t bytes) { argument 107 void allocman_mspace_free(allocman_t *alloc, void *ptr, size_t bytes) argument
|
/seL4-camkes-master/tools/cogent/impl/fs/vfat/cogent/plat/linux/ |
H A D | fatent.c | 30 int bytes = entry + (entry >> 1); local 40 int bytes = (entry << sbi->fatent_shift); local
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_6lowpan_ll.c | 77 size_t bytes = (size_t)len / 8; local
|
/seL4-camkes-master/projects/lwip/test/unit/api/ |
H A D | test_sockets.c | 251 static void test_sockets_msgapi_update_iovs(struct msghdr *msg, size_t bytes) argument
|
/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 205 void vm_ram_mark_allocated(vm_t *vm, uintptr_t start, size_t bytes) argument 233 uintptr_t vm_ram_allocate(vm_t *vm, size_t bytes) argument 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/libsel4utils/src/vspace/ |
H A D | vspace.c | 127 static void perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, argument 565 reservation_t sel4utils_reserve_range_aligned(vspace_t *vspace, size_t bytes, size_t size_bits, seL4_CapRights_t rights, argument 662 sel4utils_move_resize_reservation(vspace_t *vspace, reservation_t reservation, void *vaddr, size_t bytes) argument
|
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 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/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 415 size_t bytes; local [all...] |