/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/boost/ |
H A D | string_ref.hpp | 54 o.pack_str_body(v.data(), size); 64 o.via.str.ptr = v.data();
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | sbuffer.hpp | 81 char* data() function in class:msgpack::sbuffer 86 const char* data() const function in class:msgpack::sbuffer
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | iterator_cpp11.cpp | 30 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 56 msgpack::unpack(ret, sbuf.data(), sbuf.size());
|
H A D | user_class.cpp | 58 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 85 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 100 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 114 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 170 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 181 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 224 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 263 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 304 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 343 msgpack::unpack(ret, sbuf.data(), sbu [all...] |
H A D | boost_optional.cpp | 18 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 29 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 46 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 61 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 168 msgpack::unpack(ret, ss.str().data(), ss.str().size());
|
H A D | streaming.cpp | 14 const char* input = buffer.data(); 60 const char* input = buffer.data(); 108 const char* input = buffer.data(); 234 msgpack::object obj = pac.data(); 275 msgpack::object obj = pac.data();
|
/seL4-camkes-master/projects/seL4_libs/libsel4bench/arch_include/arm/armv/armv8-a/sel4bench/armv/ |
H A D | private.h | 61 static inline void sel4bench_private_init(void* data) argument 69 static inline void sel4bench_private_deinit(void* data) argument
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_pcap.c | 30 static void pico_dev_pcap_cb(u_char *u, const struct pcap_pkthdr *h, const u_char *data) argument 33 const uint8_t *buf = (const uint8_t *)data;
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/src/ |
H A D | strbuffer.c | 73 int strbuffer_append_bytes(strbuffer_t *strbuff, const char *data, size_t size) argument 100 memcpy(strbuff->value + strbuff->length, data, size);
|
H A D | load.c | 48 typedef int (*get_func)(void *data); 52 void *data; member in struct:__anon497 138 stream_init(stream_t *stream, get_func get, void *data) argument 141 stream->data = data; 160 c = stream->get(stream->data); 181 stream->buffer[i] = stream->get(stream->data); 657 static int lex_init(lex_t *lex, get_func get, void *data) argument 659 stream_init(&lex->stream, get, data); 911 const char *data; member in struct:__anon501 915 string_get(void *data) argument 956 const char *data; member in struct:__anon502 961 buffer_get(void *data) argument 1056 char data[MAX_BUF_LEN]; member in struct:__anon503 1063 callback_get(void *data) argument [all...] |
/seL4-camkes-master/kernel/libsel4/tools/ |
H A D | invocation_header_gen.py | 190 data = template.render({'header_title': header_title, 'libsel4': args.libsel4, 192 args.dest.write(data)
|
/seL4-camkes-master/kernel/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 190 data = template.render({'header_title': header_title, 'libsel4': args.libsel4, 192 args.dest.write(data)
|
/seL4-camkes-master/kernel/tools/ |
H A D | invocation_header_gen.py | 190 data = template.render({'header_title': header_title, 'libsel4': args.libsel4, 192 args.dest.write(data)
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/ |
H A D | bpmp.h | 57 void *data; member in struct:tx2_bpmp 58 int (*call)(void *data, int mrq, void *tx_msg, size_t tx_size, void *rx_msg, size_t rx_size); 59 int (*destroy)(void *data); 82 return bpmp->destroy(bpmp->data); 101 return bpmp->call(bpmp->data, mrq, tx_msg, tx_size, rx_msg, rx_size); 123 * The BPMP processes the data and replies with an IVC frame (on the 179 * Minimum size guaranteed for data in an IPC message buffer 446 * @brief Write trace data to a buffer 467 * data from the recipient's local buffer to the output buffer. #area 473 * responsible for protecting its own code and data fro 536 uint8_t data[EMPTY_ARRAY]; member in struct:mrq_module_mail_request 549 uint8_t data[EMPTY_ARRAY]; member in struct:mrq_module_mail_response 791 uint8_t data[]; member in struct:serial_i2c_request [all...] |
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | functions.h | 62 LIBSEL4_INLINE_FUNC void seL4_SetUserData(seL4_Word data) argument 64 seL4_GetIPCBuffer()->userData = data;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
H A D | guest_vspace.c | 46 struct sel4utils_alloc_data *data = get_alloc_data(vspace); local 47 /* this type cast works because the alloc data was at the start of the struct 50 guest_vspace_t *guest_vspace = (guest_vspace_t *) data; 91 struct sel4utils_alloc_data *data = get_alloc_data(vspace); local 92 guest_vspace_t *guest_vspace = (guest_vspace_t *) data; 141 struct sel4utils_alloc_data *data = get_alloc_data(&vm->mem.vm_vspace); local 142 guest_vspace_t *guest_vspace = (guest_vspace_t *) data;
|
/seL4-camkes-master/projects/lwip/test/unit/tcp/ |
H A D | tcp_helper.c | 48 u16_t src_port, u16_t dst_port, void* data, size_t data_len, 62 /* first pbuf must be big enough to hold at least 1 data byte, too */ 92 /* let p point to TCP data */ 94 /* copy data */ 95 pbuf_take(p, data, (u16_t)data_len); 113 u16_t src_port, u16_t dst_port, void* data, size_t data_len, 116 return tcp_create_segment_wnd(src_ip, dst_ip, src_port, dst_port, data, 125 tcp_create_rx_segment(struct tcp_pcb* pcb, void* data, size_t data_len, u32_t seqno_offset, argument 129 data, data_len, pcb->rcv_nxt + seqno_offset, pcb->lastack + ackno_offset, headerflags); 137 struct pbuf* tcp_create_rx_segment_wnd(struct tcp_pcb* pcb, void* data, size_ argument 47 tcp_create_segment_wnd(ip_addr_t* src_ip, ip_addr_t* dst_ip, u16_t src_port, u16_t dst_port, void* data, size_t data_len, u32_t seqno, u32_t ackno, u8_t headerflags, u16_t wnd) argument 112 tcp_create_segment(ip_addr_t* src_ip, ip_addr_t* dst_ip, u16_t src_port, u16_t dst_port, void* data, size_t data_len, u32_t seqno, u32_t ackno, u8_t headerflags) argument 203 char *data = (char*)q->payload; local [all...] |
/seL4-camkes-master/projects/projects_libs/libfdtgen/ |
H A D | fdtgen.c | 148 static void register_single_dependency(fdtgen_context_t *handle, int offset, int lenp, const void *data, argument 153 uint32_t to_phandle = retrive_to_phandle(data, lenp); 175 const void *data = data_; local 178 data = (data_ + done); 179 int phandle = fdt32_ld(data); 185 register_single_dependency(handle, offset, lenp, data, this); 195 const void *data = data_; local 198 data = (data_ + done); 199 register_single_dependency(handle, offset, lenp, data, this); 208 const void *data local [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
H A D | vgic.c | 9 * This function creates and registers an IRQ data structure which will be used for IRQ maintenance 800 uint32_t data; local 803 data = fault_get_data(fault); 804 if (data == 1) { 806 } else if (data == 0) { 833 data = fault_get_data(fault); 834 /* Mask the data to write */ 835 data &= mask; 836 while (data) { 838 irq = CTZ(data); [all...] |
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | ethtool.h | 77 uint32_t eedump_len; /* Size of data from ETHTOOL_GEEPROM (bytes) */ 78 uint32_t regdump_len; /* Size of data from ETHTOOL_GREGS (bytes) */ 93 uint32_t data; member in struct:ethtool_value 96 /* for passing big chunks of data */ 101 uint8_t data[0]; member in struct:ethtool_regs 110 uint8_t data[0]; member in struct:ethtool_eeprom 259 /* for passing string sets for data tagging */ 264 uint8_t data[0]; member in struct:ethtool_gstrings 272 uint32_t data[0]; /* ETH_SS_xxx count, in order, based on bits member in struct:ethtool_sset_info 289 uint64_t data[ member in struct:ethtool_test 296 uint64_t data[0]; member in struct:ethtool_stats 302 uint8_t data[0]; member in struct:ethtool_perm_addr 404 char data[ETHTOOL_FLASH_MAX_FILENAME]; member in struct:ethtool_flash [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/src/ |
H A D | zone.c | 16 /* data ... */ 111 (*(fin-1)->func)((fin-1)->data); 128 void (*func)(void* data), void* data) 155 fa->tail->data = data; 127 msgpack_zone_push_finalizer_expand(msgpack_zone* zone, void (*func)(void* data), void* data) argument
|
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumppci.c | 96 unsigned int data; local 108 res = rumpcomp_pci_port_in(PCI_CONF_DATA, 4, &data); 112 *value = data; 170 void *rumpcomp_pci_irq_establish(unsigned cookie, int (*handler)(void *), void *data) argument 225 bmk_isr_rumpkernel(handler, data, pci_data[cookie].intrs, HARDWARE_INT);
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/imx6/ |
H A D | gpio.c | 45 uint32_t data; /* +0x00 */ member in struct:imx6_gpio_regs 129 v = bank->data; 135 bank->data = v; 136 assert(bank->data == v); 152 v = bank->data;
|
/seL4-camkes-master/projects/projects_libs/libtx2bpmp/src/ |
H A D | bpmp.c | 57 static int bpmp_call(void *data, int mrq, void *tx_msg, size_t tx_size, void *rx_msg, size_t rx_size) argument 65 struct tx2_bpmp_priv *bpmp_priv = data; 134 static int bpmp_destroy(void *data) argument 136 struct tx2_bpmp_priv *bpmp_priv = data; 193 /* If we've initialised the BPMP once, just fill the private data with 260 bpmp->data = &bpmp_data;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/ |
H A D | server.c | 150 int sel4rpc_default_handler(sel4rpc_server_env_t *env, UNUSED void *data, RpcMessage *rpcMsg) argument 169 sel4rpc_handler_t handler_func, void *data, vka_object_t *reply, simple_t *simple) 174 env->data = data; 220 err = env->handler(env, env->data, &rpcMsg); 168 sel4rpc_server_init(sel4rpc_server_env_t *env, vka_t *vka, sel4rpc_handler_t handler_func, void *data, vka_object_t *reply, simple_t *simple) argument
|