/seL4-camkes-master/projects/camkes/apps/global_async/components/Client/src/ |
H A D | client_events.h | 7 void event_handler(void *data);
|
H A D | client_events.c | 17 void event_handler(void *data) argument 19 char *data_buffer = (char *)data; 20 printf("Got an event : Incoming data is %s\n", data_buffer);
|
/seL4-camkes-master/projects/camkes/apps/testdataportrpc/ |
H A D | ctypes.h | 11 char data[100]; member in struct:__anon22 15 char data[8192]; member in struct:__anon23
|
/seL4-camkes-master/projects/camkes/apps/testrefin/ |
H A D | my_struct.h | 15 int data[100]; member in struct:__anon24
|
H A D | client.c | 23 for (unsigned int i = 0; i < sizeof(a.data) / sizeof(a.data[0]); i++) { 24 a.data[i] = (int)i; 29 a.data[0], a.data[sizeof(a.data) / sizeof(a.data[0]) - 1]); 31 printf("%s: result was b = {%d..%d}\n", get_instance_name(), b.data[0], 32 b.data[sizeof(b.data) / sizeo [all...] |
/seL4-camkes-master/projects/camkes/apps/RPCOverMultiSharedData/components/Adder/src/ |
H A D | adder.c | 11 void a_calculate(payload_t *data) argument 14 data->result = 0; 15 for (int i = 0; i < data->sz; i++) { 16 printf("%s: Adding %d\n", name, data->operands[i]); 17 data->result += data->operands[i];
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/list/ |
H A D | for_each_product.hpp | 53 # define MSGPACK_PP_LIST_FOR_EACH_PRODUCT_P(r, data) MSGPACK_PP_LIST_FOR_EACH_PRODUCT_P_I data 56 # define MSGPACK_PP_LIST_FOR_EACH_PRODUCT_P(r, data) MSGPACK_PP_LIST_IS_CONS(MSGPACK_PP_TUPLE_ELEM(5, 0, data)) 60 # define MSGPACK_PP_LIST_FOR_EACH_PRODUCT_O(r, data) MSGPACK_PP_LIST_FOR_EACH_PRODUCT_O_I data 63 # define MSGPACK_PP_LIST_FOR_EACH_PRODUCT_O(r, data) (MSGPACK_PP_LIST_REST(MSGPACK_PP_TUPLE_ELEM(5, 0, data)), MSGPACK_PP_TUPLE_ELEM(5, 1, data), MSGPACK_PP_TUPLE_ELEM(5, 2, data), MSGPACK_PP_TUPLE_ELE [all...] |
H A D | filter.hpp | 26 # define MSGPACK_PP_LIST_FILTER(pred, data, list) MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_LIST_FOLD_RIGHT(MSGPACK_PP_LIST_FILTER_O, (pred, data, MSGPACK_PP_NIL), list)) 28 # define MSGPACK_PP_LIST_FILTER(pred, data, list) MSGPACK_PP_LIST_FILTER_I(pred, data, list) 29 # define MSGPACK_PP_LIST_FILTER_I(pred, data, list) MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_LIST_FOLD_RIGHT(MSGPACK_PP_LIST_FILTER_O, (pred, data, MSGPACK_PP_NIL), list)) 40 # define MSGPACK_PP_LIST_FILTER_O_D(d, pred, data, res, elem) (pred, data, MSGPACK_PP_IF(pred(d, data, elem), (elem, res), res)) 42 # define MSGPACK_PP_LIST_FILTER_O_D(d, pred, data, re [all...] |
H A D | for_each.hpp | 25 # define MSGPACK_PP_LIST_FOR_EACH(macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I(MSGPACK_PP_LIST_FOR_EACH_O, (macro, data), list) 27 # define MSGPACK_PP_LIST_FOR_EACH(macro, data, list) MSGPACK_PP_LIST_FOR_EACH_X(macro, data, list) 28 # define MSGPACK_PP_LIST_FOR_EACH_X(macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I(MSGPACK_PP_LIST_FOR_EACH_O, (macro, data), list) 43 # define MSGPACK_PP_LIST_FOR_EACH_R(r, macro, data, list) MSGPACK_PP_LIST_FOR_EACH_I_R(r, MSGPACK_PP_LIST_FOR_EACH_O, (macro, data), list) 45 # define MSGPACK_PP_LIST_FOR_EACH_R(r, macro, data, list) MSGPACK_PP_LIST_FOR_EACH_R_X(r, macro, data, lis [all...] |
H A D | transform.hpp | 25 # define MSGPACK_PP_LIST_TRANSFORM(op, data, list) MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_LIST_FOLD_RIGHT(MSGPACK_PP_LIST_TRANSFORM_O, (op, data, MSGPACK_PP_NIL), list)) 27 # define MSGPACK_PP_LIST_TRANSFORM(op, data, list) MSGPACK_PP_LIST_TRANSFORM_I(op, data, list) 28 # define MSGPACK_PP_LIST_TRANSFORM_I(op, data, list) MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_LIST_FOLD_RIGHT(MSGPACK_PP_LIST_TRANSFORM_O, (op, data, MSGPACK_PP_NIL), list)) 38 # define MSGPACK_PP_LIST_TRANSFORM_O_D(d, op, data, res, elem) (op, data, (op(d, data, elem), res)) 43 # define MSGPACK_PP_LIST_TRANSFORM_D(d, op, data, lis [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/seq/ |
H A D | for_each_product.hpp | 40 # define MSGPACK_PP_SEQ_FOR_EACH_PRODUCT_P(r, data) MSGPACK_PP_SEQ_FOR_EACH_PRODUCT_P_I data 43 # define MSGPACK_PP_SEQ_FOR_EACH_PRODUCT_P(r, data) MSGPACK_PP_DEC(MSGPACK_PP_SEQ_SIZE(MSGPACK_PP_TUPLE_ELEM(4, 0, data))) 47 # define MSGPACK_PP_SEQ_FOR_EACH_PRODUCT_O(r, data) MSGPACK_PP_SEQ_FOR_EACH_PRODUCT_O_I data 50 # define MSGPACK_PP_SEQ_FOR_EACH_PRODUCT_O(r, data) (MSGPACK_PP_SEQ_TAIL(MSGPACK_PP_TUPLE_ELEM(4, 0, data)), MSGPACK_PP_TUPLE_ELEM(4, 1, data), MSGPACK_PP_TUPLE_ELEM(4, 2, data), MSGPACK_PP_TUPLE_ELE [all...] |
H A D | transform.hpp | 24 # define MSGPACK_PP_SEQ_TRANSFORM(op, data, seq) MSGPACK_PP_SEQ_TAIL(MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_SEQ_FOLD_LEFT(MSGPACK_PP_SEQ_TRANSFORM_O, (op, data, (nil)), seq))) 26 # define MSGPACK_PP_SEQ_TRANSFORM(op, data, seq) MSGPACK_PP_SEQ_TRANSFORM_I(op, data, seq) 27 # define MSGPACK_PP_SEQ_TRANSFORM_I(op, data, seq) MSGPACK_PP_SEQ_TAIL(MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_SEQ_FOLD_LEFT(MSGPACK_PP_SEQ_TRANSFORM_O, (op, data, (nil)), seq))) 37 # define MSGPACK_PP_SEQ_TRANSFORM_O_I(s, op, data, res, elem) (op, data, res (op(s, data, elem))) 42 # define MSGPACK_PP_SEQ_TRANSFORM_S(s, op, data, se [all...] |
H A D | filter.hpp | 26 # define MSGPACK_PP_SEQ_FILTER(pred, data, seq) MSGPACK_PP_SEQ_TAIL(MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_SEQ_FOLD_LEFT(MSGPACK_PP_SEQ_FILTER_O, (pred, data, (nil)), seq))) 28 # define MSGPACK_PP_SEQ_FILTER(pred, data, seq) MSGPACK_PP_SEQ_FILTER_I(pred, data, seq) 29 # define MSGPACK_PP_SEQ_FILTER_I(pred, data, seq) MSGPACK_PP_SEQ_TAIL(MSGPACK_PP_TUPLE_ELEM(3, 2, MSGPACK_PP_SEQ_FOLD_LEFT(MSGPACK_PP_SEQ_FILTER_O, (pred, data, (nil)), seq))) 40 # define MSGPACK_PP_SEQ_FILTER_O_I(s, pred, data, res, elem) (pred, data, res MSGPACK_PP_EXPR_IF(pred(s, data, elem), (elem))) 42 # define MSGPACK_PP_SEQ_FILTER_O_I(s, pred, data, re [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/preprocessor/array/detail/ |
H A D | get_data.hpp | 23 # define MSGPACK_PP_ARRAY_DETAIL_GET_DATA_NONE(size, data) 27 # define MSGPACK_PP_ARRAY_DETAIL_GET_DATA_ANY_VC_DEFAULT(size, data) MSGPACK_PP_TUPLE_REM(size) data 28 # define MSGPACK_PP_ARRAY_DETAIL_GET_DATA_ANY_VC_CAT(size, data) MSGPACK_PP_TUPLE_REM_CAT(size) data 29 # define MSGPACK_PP_ARRAY_DETAIL_GET_DATA_ANY(size, data) \ 36 (size,data) \ 39 # define MSGPACK_PP_ARRAY_DETAIL_GET_DATA_ANY(size, data) MSGPACK_PP_TUPLE_REM(size) data 42 # define MSGPACK_PP_ARRAY_DETAIL_GET_DATA_ANY(size, data) MSGPACK_PP_TUPLE_RE [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
H A D | console.h | 2 void console_handle_input(evtchn_port_t port, struct pt_regs *regs, void *data);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | fbuffer.h | 26 static inline int msgpack_fbuffer_write(void* data, const char* buf, size_t len) argument 28 return (1 == fwrite(buf, len, 1, (FILE *)data)) ? 0 : -1;
|
/seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
H A D | serial.h | 15 void serial_server_irq_handle(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data);
|
/seL4-camkes-master/tools/rumprun/platform/sel4/arch/arm/ |
H A D | arch.c | 20 simple->arch_simple.data = (void *) simple->data;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_emul_helpers.h | 11 int vm_guest_write_mem(vm_t *vm, void *data, uintptr_t address, size_t size); 13 int vm_guest_read_mem(vm_t *vm, void *data, uintptr_t address, size_t size);
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
H A D | phy.c | 76 unsigned short data; local 79 MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_ID1, &data); 82 id = data << PHY_ID_SHIFT; 85 MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_ID2, &data); 88 id |= data; 141 unsigned short data; local 143 if (MDIOPhyRegRead(mdioBaseAddr, phyAddr, PHY_BCR, &data) != TRUE ) { 147 data |= PHY_LPBK_ENABLE; 150 MDIOPhyRegWrite(mdioBaseAddr, phyAddr, PHY_BCR, data); 168 unsigned short data; local 210 volatile unsigned short data; local 262 volatile unsigned short data; local 353 unsigned short data; local [all...] |
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | list.h | 31 int list_prepend(list_t *l, void *data); 34 int list_append(list_t *l, void *data); 42 bool list_exists(list_t *l, void *data, int(*cmp)(void *, void *)); 50 int list_index(list_t *l, void *data, int(*cmp)(void *, void *)); 61 int list_remove(list_t *l, void *data, int(*cmp)(void *, void *)); 78 void *data; member in struct:list_node 84 int list_remove_node(list_t *l, void *data, int(*cmp)(void *, void *));
|
/seL4-camkes-master/projects/lwip/src/apps/snmp/ |
H A D | snmp_asn1.c | 59 u8_t data; local 99 data = 0x80 | length_bytes_required; /* extended length definition, 1 length byte follows */ 101 PBUF_OP_EXEC(snmp_pbuf_stream_write(pbuf_stream, data)); 106 data = (u8_t)(tlv->value_len >> 8); 109 data = 0x00; 112 PBUF_OP_EXEC(snmp_pbuf_stream_write(pbuf_stream, data)); 118 data = (u8_t)(tlv->value_len & 0xFF); 119 PBUF_OP_EXEC(snmp_pbuf_stream_write(pbuf_stream, data)); 125 * Encodes raw data (octet string, opaque) into a pbuf chained ASN1 msg. 128 * @param raw_len raw data lengt 358 u8_t data; local 423 u8_t data; local 461 u8_t data; local 501 u8_t data; local 646 u8_t data; local [all...] |
/seL4-camkes-master/projects/musllibc/src/ldso/arm/ |
H A D | find_exidx.c | 12 struct find_exidx_data *data = ptr; local 21 match |= data->pc >= addr && data->pc < addr + phdr->p_memsz; 29 data->exidx_start = exidx_start; 30 data->exidx_len = exidx_len; 36 struct find_exidx_data data; local 37 data.pc = pc; 38 if (dl_iterate_phdr(find_exidx, &data) <= 0) 40 *pcount = data.exidx_len / 8; 41 return data [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | vka.c | 28 * @param data cookie for the underlying allocator 32 static int am_vka_cspace_alloc(void *data, seL4_CPtr *res) argument 37 assert(data); 40 error = allocman_cspace_alloc((allocman_t *) data, &path); 52 * @param data cookie for the underlying allocator 56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res) argument 58 assert(data); 61 *res = allocman_cspace_make_path((allocman_t*) data, slot); 67 * @param data cookie for the underlying allocator 70 static void am_vka_cspace_free (void *data, seL4_CPt argument 90 am_vka_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res) argument 118 am_vka_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res) argument 134 am_vka_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res) argument 160 am_vka_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target) argument 171 am_vka_utspace_paddr(void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits) argument [all...] |
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/ |
H A D | ltimer.c | 35 static int get_time(void *data, uint64_t *time) argument 37 assert(data != NULL); 40 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 45 static int get_resolution(void *data, uint64_t *resolution) argument 50 static int set_timeout(void *data, uint64_t ns, timeout_type_t type) argument 52 assert(data != NULL); 53 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 71 static int reset(void *data) argument 73 assert(data != NULL); 74 nv_tmr_ltimer_t *nv_tmr_ltimer = data; 80 destroy(void *data) argument [all...] |