Searched refs:bytes (Results 1 - 25 of 53) sorted by relevance

123

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dmalloc.c18 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 Ddual_pool.c33 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 Dfixed_pool.c44 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 Dvspace_pool.c54 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 Dvirtual_pool.c113 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 Dmspace.h21 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 Dmalloc.h29 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 Dnull.h24 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 Ddual_pool.h37 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 Dfixed_pool.h37 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 Dvirtual_pool.h40 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 Dvspace_pool.h48 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 Ddebug.h29 * @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 Dpage.h22 #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 Dguest_ram.h79 * @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 Di2c.c34 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 Ddebug.c75 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 Dtftp_server.h73 * @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 Dguest_ram.c89 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 Dvspace.h99 * @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 Dgen_env.py25 # 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 Dsel4runtime.h69 * 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 Dshoehorn.py79 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 Dmouse.c33 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 Dchardev.h40 /// 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...]

Completed in 141 milliseconds

123