Searched refs:data (Results 76 - 100 of 544) sorted by relevance

1234567891011>>

/seL4-camkes-master/projects/camkes/apps/global_async/components/Sender/src/
H A Dsender.c15 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 Dltimer.c51 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 Dltimer.c72 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 Dltimer.c41 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 Dvka.h31 * @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 Dconfig.c72 #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 Dsimple.c19 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 Dgeneric_ltimer.c36 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 Dvariant_0.c7 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 Dzbuffer.h31 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 Dzone.h27 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 Dstorage.h19 struct xact *data, int ndata, int direction);
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/doc/
H A Dgithub_commits.c32 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 Darch.c24 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 Dserial.c25 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 Dserver.h18 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 Dlibvchan.h52 /** 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 Dvirtio_emul_helpers.c26 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 Dclient.c19 event_handler(data);
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Dpack_unpack_c.cpp49 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 Ddefault.c26 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 Dpselect.c9 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 Dgpio_utils.h65 * @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 Dslipif.h78 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 Dclient.c13 char *data = buf; local
16 uart_put_char(data[i]);

Completed in 102 milliseconds

1234567891011>>