/seL4-refos-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 671 static inline bool_t CONST checkVPAlignment(vm_page_size_t sz, word_t w) argument 673 return (w & MASK(pageBitsForSize(sz))) == 0;
|
/seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1591 static inline bool_t CONST checkVPAlignment(vm_page_size_t sz, word_t w) argument 1593 return (w & MASK(pageBitsForSize(sz))) == 0;
|
/seL4-refos-master/libs/libplatsupport/src/ |
H A D | ltimer.h | 107 ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, 126 int error = ps_calloc(&ops.malloc_ops, 1, sz, <imer->data); 106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/ |
H A D | ltimer.h | 107 ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, 126 int error = ps_calloc(&ops.malloc_ops, 1, sz, <imer->data); 106 create_ltimer_simple( ltimer_t *ltimer, ps_io_ops_t ops, size_t sz, int (*get_time)(void *data, uint64_t *time), int (*set_timeout)(void *data, uint64_t ns, timeout_type_t type), int (*reset)(void *data), void (*destroy)(void *data) ) argument
|
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
H A D | vspace.h | 135 static inline bool_t checkVPAlignment(vm_page_size_t sz, word_t w) argument 137 return IS_ALIGNED(w, pageBitsForSize(sz));
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | uthash.h | 83 #define uthash_malloc(sz) malloc(sz) /* malloc fcn */ 86 #define uthash_free(ptr,sz) free(ptr) /* free fcn */
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | uthash.h | 83 #define uthash_malloc(sz) malloc(sz) /* malloc fcn */ 86 #define uthash_free(ptr,sz) free(ptr) /* free fcn */
|
/seL4-refos-master/projects/util_libs/libpci/src/ |
H A D | virtual_device.c | 82 int sz = libpci_device_cfg_sizeof(offset); local 83 assert(sz > 0); 85 for (int i = 0; i < sz; i++) {
|
/seL4-refos-master/libs/libsel4debug/src/ |
H A D | alloc.c | 269 size_t sz = adjust_size(num * size); local 270 size_t new_num = sz / size; 271 if (sz % size != 0) {
|
/seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
H A D | alloc.c | 269 size_t sz = adjust_size(num * size); local 270 size_t new_num = sz / size; 271 if (sz % size != 0) {
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | walloc.c | 34 uint32_t sz = endAddr - startAddr; local 39 if (sz % REFOS_PAGE_SIZE != 0) { 47 ws->npages = sz / REFOS_PAGE_SIZE;
|
H A D | cspace.c | 29 size_t sz = end - start; local 31 cspaceFreeList = malloc(sizeof(seL4_CPtr) * sz); 33 for (int i = 0; i < sz; i++) { 36 cspaceFreeListNum = sz; 45 size_t sz = end - start; local 46 assert(sizeof(seL4_CPtr) * sz <= bufferSz); 50 for (int i = 0; i < sz; i++) { 53 cspaceFreeListNum = sz;
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | walloc.c | 34 uint32_t sz = endAddr - startAddr; local 39 if (sz % REFOS_PAGE_SIZE != 0) { 47 ws->npages = sz / REFOS_PAGE_SIZE;
|
H A D | cspace.c | 29 size_t sz = end - start; local 31 cspaceFreeList = malloc(sizeof(seL4_CPtr) * sz); 33 for (int i = 0; i < sz; i++) { 36 cspaceFreeListNum = sz; 45 size_t sz = end - start; local 46 assert(sizeof(seL4_CPtr) * sz <= bufferSz); 50 for (int i = 0; i < sz; i++) { 53 cspaceFreeListNum = sz;
|
/seL4-refos-master/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 41 rpc_malloc(size_t sz) argument 46 assert(sz <= RPC_STATIC_MEMPOOL_OBJ_SIZE); 173 rpc_push_buf(void* v, size_t sz) argument 175 if (!sz) return; 176 if (!v) sz = 0; 177 _rpc_mr = rpc_marshall(_rpc_mr, v, sz); 181 rpc_push_buf_array(void* v, size_t sz, uint32_t count) argument 186 rpc_push_buf(rv + i * sz, sz); 218 rpc_pop_buf(void* v, size_t sz) argument 237 rpc_pop_buf_array(void* v, size_t sz, uint32_t count) argument 297 rpc_sv_pop_buf(void *cl, void *v, size_t sz) argument 304 rpc_sv_pop_buf_array(void *cl, size_t sz) argument 341 rpc_sv_push_buf(void *cl, void* v, size_t sz) argument 355 rpc_sv_push_buf_array(void *cl, rpc_buffer_t v, size_t sz) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-rpc/ |
H A D | rpc.c | 41 rpc_malloc(size_t sz) argument 46 assert(sz <= RPC_STATIC_MEMPOOL_OBJ_SIZE); 173 rpc_push_buf(void* v, size_t sz) argument 175 if (!sz) return; 176 if (!v) sz = 0; 177 _rpc_mr = rpc_marshall(_rpc_mr, v, sz); 181 rpc_push_buf_array(void* v, size_t sz, uint32_t count) argument 186 rpc_push_buf(rv + i * sz, sz); 218 rpc_pop_buf(void* v, size_t sz) argument 237 rpc_pop_buf_array(void* v, size_t sz, uint32_t count) argument 297 rpc_sv_pop_buf(void *cl, void *v, size_t sz) argument 304 rpc_sv_pop_buf_array(void *cl, size_t sz) argument 341 rpc_sv_push_buf(void *cl, void* v, size_t sz) argument 355 rpc_sv_push_buf_array(void *cl, rpc_buffer_t v, size_t sz) argument [all...] |
/seL4-refos-master/libs/librefos/include/refos-rpc/ |
H A D | rpc.h | 69 * @param[in] sz Size of memory to allocate in bytes. 72 void* rpc_malloc(size_t sz); 137 * @param[in] sz Size of the buffer obj in bytes. 139 void rpc_push_buf(void* v, size_t sz); 144 * @param[in] sz Size of a single buffer obj in bytes. 147 void rpc_push_buf_array(void* v, size_t sz, uint32_t count); 172 * @param[in] sz Size of generic object to read in bytes. 174 void rpc_pop_buf(void* v, size_t sz); 188 * @param[in] sz Size of generic object to read in bytes. 191 void rpc_pop_buf_array(void* v, size_t sz, uint32_ [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/ |
H A D | rpc.h | 69 * @param[in] sz Size of memory to allocate in bytes. 72 void* rpc_malloc(size_t sz); 137 * @param[in] sz Size of the buffer obj in bytes. 139 void rpc_push_buf(void* v, size_t sz); 144 * @param[in] sz Size of a single buffer obj in bytes. 147 void rpc_push_buf_array(void* v, size_t sz, uint32_t count); 172 * @param[in] sz Size of generic object to read in bytes. 174 void rpc_pop_buf(void* v, size_t sz); 188 * @param[in] sz Size of generic object to read in bytes. 191 void rpc_pop_buf_array(void* v, size_t sz, uint32_ [all...] |
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | cpool.c | 88 size_t sz = cvector_count(&p->freelist); local 89 for (int i = 0; i < sz; i++) {
|
H A D | chash.c | 44 chash_init(chash_t *t, size_t sz) argument 47 t->table = malloc(sizeof(cvector_t) * sz); 49 t->tableSize = sz;
|
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | cpool.c | 88 size_t sz = cvector_count(&p->freelist); local 89 for (int i = 0; i < sz; i++) {
|
H A D | chash.c | 44 chash_init(chash_t *t, size_t sz) argument 47 t->table = malloc(sizeof(cvector_t) * sz); 49 t->tableSize = sz;
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
H A D | chash.h | 38 void chash_init(chash_t *t, size_t sz);
|
/seL4-refos-master/libs/libdatastruct/include/data_struct/ |
H A D | chash.h | 38 void chash_init(chash_t *t, size_t sz);
|
/seL4-refos-master/projects/refos/impl/apps/test_user/src/ |
H A D | test_user.c | 156 size_t sz = strlen(g); local 157 test_assert(sz == 52);
|