/seL4-camkes-master/projects/camkes/apps/global_async/components/Sender/src/ |
H A D | sender.c | 15 void create_random_string(char *data, int length) argument 19 data[i] = '0' + rand_value; 26 char *data_buffer = (char *)data;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/odroidc2/ |
H A D | ltimer.c | 51 static size_t get_num_irqs(void *data) argument 56 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 58 assert(n < get_num_irqs(data)); 63 static size_t get_num_pmems(void *data) argument 68 static int get_nth_pmem(void *data, size_t n, pmem_region_t *region) argument 70 assert(n < get_num_pmems(data)); 75 static int handle_irq(void *data, ps_irq_t *irq) argument 77 assert(data != NULL); 78 odroidc2_ltimer_t *odroidc2_timer = data; 93 static int get_time(void *data, uint64_ argument 104 get_resolution(void *data, uint64_t *resolution) argument 109 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 149 reset(void *data) argument 158 destroy(void *data) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 72 size_t get_num_irqs(void *data) argument 77 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 85 static size_t get_num_pmems(void *data) argument 90 static int get_nth_pmem(void *data, size_t n, pmem_region_t *paddr) argument 97 static int ltimer_handle_irq(void *data, ps_irq_t *irq) argument 99 assert(data != NULL); 100 hifive_timers_t *timers = data; 120 static int get_time(void *data, uint64_t *time) argument 122 assert(data != NULL); 124 hifive_timers_t *timers = data; 130 get_resolution(void *data, uint64_t *resolution) argument 135 set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 157 reset(void *data) argument 168 destroy(void *data) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/zynq/ |
H A D | ltimer.c | 41 static int get_time(void *data, uint64_t *time) argument 43 assert(data != NULL); 45 ttc_ltimer_t *ttc_ltimer = data; 50 static int get_resolution(void *data, uint64_t *resolution) argument 55 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 57 assert(data != NULL); 58 ttc_ltimer_t *ttc_ltimer = data; 62 get_time(data, &time); 73 static int reset(void *data) argument 75 assert(data ! 87 destroy(void *data) argument [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4vka/include/vka/ |
H A D | vka.h | 31 * @param data cookie for the underlying allocator 35 typedef int (*vka_cspace_alloc_fn)(void *data, seL4_CPtr *res); 41 * @param data cookie for the underlying allocator 45 typedef void (*vka_cspace_make_path_fn)(void *data, seL4_CPtr slot, cspacepath_t *res); 50 * @param data cookie for the underlying allocator 53 typedef void (*vka_cspace_free_fn)(void *data, seL4_CPtr slot); 58 * @param data cookie for the underlying allocator 65 typedef int (*vka_utspace_alloc_fn)(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, 71 * @param data cookie for the underlying allocator 79 typedef int (*vka_utspace_alloc_at_fn)(void *data, cons 131 void *data; member in struct:vka [all...] |
/seL4-camkes-master/tools/rumprun/lib/librumprun_base/ |
H A D | config.c | 72 #define T_CHECKTYPE(t, data, exp, fun) \ 76 "in \"%s\"", T_PRINTFSTAR(t,data), fun); \ 80 #define T_CHECKSIZE(t, data, exp, fun) \ 84 "in \"%s\"", T_PRINTFSTAR(t,data), fun); \ 89 token2cstr(jsmntok_t *t, char *data) argument 92 *(T_STR(t, data) + T_SIZE(t)) = '\0'; 93 return T_STR(t, data); 119 handle_cmdline(jsmntok_t *t, int left, char *data) argument 122 T_CHECKTYPE(t, data, JSMN_STRING, __func__); 124 makeargv(token2cstr(t, data)); 139 addbin(jsmntok_t *t, char *data) argument 233 handle_rc(jsmntok_t *t, int left, char *data) argument 250 handle_env(jsmntok_t *t, int left, char *data) argument 262 handle_hostname(jsmntok_t *t, int left, char *data) argument 336 handle_net(jsmntok_t *t, int left, char *data) argument 545 handle_blk(jsmntok_t *t, int left, char *data) argument [all...] |
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | simple.c | 19 static int simple_default_cap_count(void *data) argument 21 assert(data); 23 init_data_t * init_data = data; 29 static seL4_CPtr simple_default_init_cap(void *data, seL4_CPtr cap_pos) argument 31 seL4_CPtr cap = sel4utils_process_init_cap(data, cap_pos); 33 init_data_t *init_data = data; 57 static seL4_CPtr simple_default_sched_control(void *data, int core) argument 59 ZF_LOGF_IF(data == NULL, "data is NULL"); 62 return ((init_data_t *)data) 65 simple_default_cnode_size(void *data) argument 72 simple_default_untyped_count(void *data) argument 79 simple_default_nth_untyped(void *data, int n, size_t *size_bits, uintptr_t *paddr, bool *device) argument 103 simple_default_nth_cap(void *data, int n) argument 209 simple_default_core_count(void *data) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/arch/arm/ |
H A D | generic_ltimer.c | 36 static size_t get_num_irqs(void *data) argument 41 static int get_nth_irq(void *data, size_t n, ps_irq_t *irq) argument 43 assert(n < get_num_irqs(data)); 52 static size_t get_num_pmems(void *data) argument 57 static int get_nth_pmem(void *data, size_t n, pmem_region_t *region) argument 62 static int get_time(void *data, uint64_t *time) argument 64 assert(data != NULL); 67 generic_ltimer_t *ltimer = data; 73 int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 75 generic_ltimer_t *ltimer = data; 99 handle_irq(void *data, ps_irq_t *irq) argument 122 get_resolution(void *data, uint64_t *resolution) argument 127 reset(void *data) argument 135 destroy(void *data) argument [all...] |
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
H A D | variant_0.c | 7 return (*b).data[0U] >> 0U & 255U; 15 return (*b).data[0U] >> 8U & 255U; 27 return (*b).data[0U] >> 16U & 255U; 35 return (*b).data[0U] >> 24U & 255U; 43 return (*b).data[1U] >> 0U & 65535U; 51 return (*b).data[1U] >> 16U & 65535U; 55 return (*b).data[2U] >> 0U & 65535U; 63 return (*b).data[2U] >> 16U & 65535U; 67 return (*b).data[3U] >> 0U & 4294967295U; 71 return (*b).data[ [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | zbuffer.h | 31 char* data; member in struct:msgpack_zbuffer 60 static inline int msgpack_zbuffer_write(void* data, const char* buf, size_t len); 71 free(zbuf->data); 80 free(zbuf->data); 103 size_t used = (char*)zbuf->stream.next_out - zbuf->data; 107 char* tmp = (char*)realloc(zbuf->data, nsize); 112 zbuf->data = tmp; 119 static inline int msgpack_zbuffer_write(void* data, const char* buf, size_t len) argument 121 msgpack_zbuffer* zbuf = (msgpack_zbuffer*)data; 146 return zbuf->data; [all...] |
H A D | zone.h | 27 void (*func)(void* data); 28 void* data; member in struct:msgpack_zone_finalizer 70 void (*func)(void* data), void* data); 131 void (*func)(void* data), void* data); 134 void (*func)(void* data), void* data) 140 return msgpack_zone_push_finalizer_expand(zone, func, data); 144 fin->data 133 msgpack_zone_push_finalizer(msgpack_zone* zone, void (*func)(void* data), void* data) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | storage.h | 19 struct xact *data, int ndata, int direction);
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/doc/ |
H A D | github_commits.c | 32 char *data; member in struct:write_result 46 memcpy(result->data + result->pos, ptr, size * nmemb); 57 char *data = NULL; local 65 data = malloc(BUFFER_SIZE); 66 if(!data) 70 .data = data, 86 fprintf(stderr, "error: unable to request data from %s:\n", url); 103 data[write_result.pos] = '\0'; 105 return data; 158 json_t *data, *sha, *commit, *message; local [all...] |
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/x86/ |
H A D | arch.c | 24 get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument 26 init_data_t *init = (init_data_t *) data; 35 simple->arch_simple.data = (void *) simple->data;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/ |
H A D | serial.c | 25 const unsigned char *data = (const unsigned char *)vdata; local 27 if (uart_putchar(d, data[i]) < 0) { 41 char *data = (char *)vdata; local 47 data[i] = ret;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/include/sel4rpc/ |
H A D | server.h | 18 typedef int (*sel4rpc_handler_t)(struct sel4rpc_env *env, void *data, RpcMessage *rpcMsg); 25 void *data; member in struct:sel4rpc_env 31 sel4rpc_handler_t handler_func, void *data, vka_object_t *reply, simple_t *simple); 34 int sel4rpc_default_handler(sel4rpc_server_env_t *env, UNUSED void *data, RpcMessage *rpcMsg);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/ |
H A D | libvchan.h | 52 /** Amount of data ready to read, in bytes */ 55 /** Amount of data it is possible to send without blocking */ 61 * @param data Buffer for data that was read 62 * @param size Size of the buffer and amount of data to read 63 * @return -1 on error, 0 if nonblocking and insufficient data is available, or $size 65 int libvchan_recv(libvchan_t *ctrl, void *data, size_t size); 71 * @param data Buffer for data to send 72 * @param size Size of the buffer and amount of data t [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.c | 26 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument 28 return vm_ram_touch(vm, address, size, write_guest_mem, data); 31 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size) argument 33 return vm_ram_touch(vm, address, size, read_guest_mem, data);
|
/seL4-camkes-master/projects/camkes/apps/global_async/components/Client/src/ |
H A D | client.c | 19 event_handler(data);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | pack_unpack_c.cpp | 49 success = msgpack_unpack_next(&msg, sbuf->data, sbuf->size, &offset); 51 EXPECT_EQ(MSGPACK_OBJECT_POSITIVE_INTEGER, msg.data.type); 52 EXPECT_EQ(1u, msg.data.via.u64); 54 success = msgpack_unpack_next(&msg, sbuf->data, sbuf->size, &offset); 56 EXPECT_EQ(MSGPACK_OBJECT_POSITIVE_INTEGER, msg.data.type); 57 EXPECT_EQ(2u, msg.data.via.u64); 59 success = msgpack_unpack_next(&msg, sbuf->data, sbuf->size, &offset); 61 EXPECT_EQ(MSGPACK_OBJECT_POSITIVE_INTEGER, msg.data.type); 62 EXPECT_EQ(3u, msg.data.via.u64); 64 success = msgpack_unpack_next(&msg, sbuf->data, sbu [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 26 simple_default_get_ioapic(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 35 simple_default_get_irq(void *data, int irq, seL4_CNode root, seL4_Word index, uint8_t depth) { argument 60 return simple_default_get_ioapic(data, root, index, depth, 0, irq, level, low_polarity, vector); 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, argument 76 simple_default_get_IOPort_cap(void *data, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) { argument 81 simple_default_init_arch_simple(arch_simple_t *simple, void *data) argument 83 simple->data = data;
|
/seL4-camkes-master/projects/musllibc/src/select/ |
H A D | pselect.c | 9 syscall_arg_t data[2] = { (uintptr_t)mask, _NSIG/8 }; local 12 return syscall_cp(SYS_pselect6, n, rfds, wfds, efds, ts ? &ts_tmp : 0, data);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/ |
H A D | gpio_utils.h | 65 * @param data A buffer in which the driver should place the data it reads. 67 * @return The number of bits of data read. Or an error code 70 int gpio_chain_read(gpio_chain_t *chain, char *data, int len); 79 * @param data A buffer from which the driver will draw the data to be 83 * @return The number of bits of data written out. Or an error code 85 int gpio_chain_write(gpio_chain_t *chain, char *data, int len);
|
/seL4-camkes-master/projects/lwip/src/include/netif/ |
H A D | slipif.h | 78 void slipif_received_byte(struct netif *netif, u8_t data); 79 void slipif_received_bytes(struct netif *netif, u8_t *data, u8_t len);
|
/seL4-camkes-master/projects/camkes/apps/uart/components/Client/src/ |
H A D | client.c | 13 char *data = buf; local 16 uart_put_char(data[i]);
|