| /seL4-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/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-refos-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-refos-master/libs/libvterm/src/ |
| H A D | encoding.c | 28 decode_utf8(VTermEncoding *enc, void *data_, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
154 decode_usascii(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
177 decode_table(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
|
| H A D | parser.c | 190 void vterm_push_bytes(VTerm *vt, const char *bytes, size_t len) argument
[all...] |
| H A D | vterm.c | 111 void vterm_push_output_bytes(VTerm *vt, const char *bytes, size_t len) argument
|
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | encoding.c | 28 decode_utf8(VTermEncoding *enc, void *data_, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
154 decode_usascii(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
177 decode_table(VTermEncoding *enc, void *data, uint32_t cp[], int *cpi, int cplen, const char bytes[], size_t *pos, size_t bytelen) argument
|
| H A D | parser.c | 190 void vterm_push_bytes(VTerm *vt, const char *bytes, size_t len) argument
[all...] |
| /seL4-refos-master/libs/libsel4vspace/src/ |
| H A D | vspace.c | 148 reservation_t vspace_reserve_range(vspace_t *vspace, size_t bytes, argument
|
| /seL4-refos-master/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-refos-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-refos-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...] |