Searched refs:sz (Results 1 - 25 of 26) sorted by last modified time

12

/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c671 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 Dvspace.c1591 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 Dltimer.h107 ltimer_t *ltimer, ps_io_ops_t ops, size_t sz,
126 int error = ps_calloc(&ops.malloc_ops, 1, sz, &ltimer->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 Dltimer.h107 ltimer_t *ltimer, ps_io_ops_t ops, size_t sz,
126 int error = ps_calloc(&ops.malloc_ops, 1, sz, &ltimer->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 Dvspace.h135 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 Duthash.h83 #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 Duthash.h83 #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 Dvirtual_device.c82 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 Dalloc.c269 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 Dalloc.c269 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 Dwalloc.c34 uint32_t sz = endAddr - startAddr; local
39 if (sz % REFOS_PAGE_SIZE != 0) {
47 ws->npages = sz / REFOS_PAGE_SIZE;
H A Dcspace.c29 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 Dwalloc.c34 uint32_t sz = endAddr - startAddr; local
39 if (sz % REFOS_PAGE_SIZE != 0) {
47 ws->npages = sz / REFOS_PAGE_SIZE;
H A Dcspace.c29 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 Drpc.c41 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 Drpc.c41 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 Drpc.h69 * @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 Drpc.h69 * @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 Dcpool.c88 size_t sz = cvector_count(&p->freelist); local
89 for (int i = 0; i < sz; i++) {
H A Dchash.c44 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 Dcpool.c88 size_t sz = cvector_count(&p->freelist); local
89 for (int i = 0; i < sz; i++) {
H A Dchash.c44 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 Dchash.h38 void chash_init(chash_t *t, size_t sz);
/seL4-refos-master/libs/libdatastruct/include/data_struct/
H A Dchash.h38 void chash_init(chash_t *t, size_t sz);
/seL4-refos-master/projects/refos/impl/apps/test_user/src/
H A Dtest_user.c156 size_t sz = strlen(g); local
157 test_assert(sz == 52);

Completed in 166 milliseconds

12