/seL4-camkes-master/projects/lwip/test/unit/tcp/ |
H A D | test_tcp_oos.c | 159 char data[] = { local 170 data_len = sizeof(data); 174 counters.expected_data = data; 183 pinseq = tcp_create_rx_segment(pcb, &data[0], 4, 0, 0, TCP_ACK); 186 p_8_9 = tcp_create_rx_segment(pcb, &data[8], 8, 8, 0, TCP_ACK|TCP_FIN); 189 p_4_8 = tcp_create_rx_segment(pcb, &data[4], 8, 4, 0, TCP_ACK); 192 p_4_10 = tcp_create_rx_segment(pcb, &data[4], 10, 4, 0, TCP_ACK); 193 /* p4: 14 bytes before FIN, includes data from p1 and p2, plus partly from pinseq */ 195 p_2_14 = tcp_create_rx_segment(pcb, &data[2], 14, 2, 0, TCP_ACK); 295 char data[] local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | reference_wrapper_cpp11.cpp | 17 msgpack::object_handle oh = msgpack::unpack(ss.str().data(), ss.str().size()); 30 msgpack::object_handle oh = msgpack::unpack(ss.str().data(), ss.str().size()); 43 msgpack::object_handle oh = msgpack::unpack(ss.str().data(), ss.str().size());
|
H A D | shared_ptr_cpp11.cpp | 18 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 29 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 117 msgpack::unpack(ret, ss.str().data(), ss.str().size());
|
H A D | unique_ptr_cpp11.cpp | 18 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 29 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 117 msgpack::unpack(ret, ss.str().data(), ss.str().size());
|
H A D | boost_variant.cpp | 25 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 63 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 102 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 155 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 202 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 249 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 296 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 358 msgpack::unpack(ret, ss.str().data(), ss.str().size()); 421 msgpack::type::ext e(42, v.data(), v.size()); 429 msgpack::unpack(ret, ss.str().data(), s [all...] |
H A D | boost_string_ref.cpp | 22 msgpack::unpack(ret, ss.str().data(), ss.str().size());
|
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_802154.c | 87 .addr.data = { 1,2,3,4,5,6,7,8 }, 97 dbg_addr_ext("After", a.addr.data); 99 FAIL_UNLESS(0 == memcmp(a.addr.data, buf, SIZE_6LOWPAN_EXT), 106 dbg_addr_ext("After", a.addr.data); 115 dbg_addr_ext("After", a.addr.data); 119 FAIL_UNLESS(0 == memcmp(a.addr.data, buf, SIZE_6LOWPAN_EXT), 374 .addr.data = {0x00, 0x1C, 0xDA, 0xFF, 0xFF, 0x00, 0x18, 0x88}, 378 .addr.data = {0x00, 0x1C, 0xDA, 0xFF, 0xFF, 0x00, 0x18, 0x8a}, 416 .addr.data = {3,2,3,4,5,6,7,8}, 420 .addr.data [all...] |
/seL4-camkes-master/tools/cogent/cogent/scripts/ |
H A D | generate_tactic_statistics.py | 42 print("\t--plot - Create GNUPlot plotting data in outfile") 43 print("\t--json - Create JSON transformed data in outfile") 69 data = json.loads(line) variable 70 [tactic_name, type_name] = data['tacticName'].split(':') 76 tactic_times[tactic_name][type_name].append(data['time']) 125 # make gnuplot data
|
H A D | plotTacticTimingData.gnuplot | 30 set style data histograms
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
H A D | timer.c | 134 void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 136 assert(data != NULL); 137 dmt_t *dmt = data;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/fvp/ |
H A D | sp804.c | 118 static void sp804_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 120 assert(data != NULL); 121 sp804_t *sp804 = data;
|
/seL4-camkes-master/projects/lwip/src/netif/ |
H A D | slipif.c | 51 * until data is received.\n 73 #define SLIP_ESC 0xDB /* 0333: escape start (one byte escaped data follows) */ 372 /* Allocate private data */ 396 /* Initialize private data */ 485 * @param data Received serial byte 488 slipif_rxbyte_enqueue(struct netif *netif, u8_t data) argument 494 p = slipif_rxbyte(netif, data); 525 * @param data received character 528 slipif_received_byte(struct netif *netif, u8_t data) argument 532 slipif_rxbyte_enqueue(netif, data); 547 slipif_received_bytes(struct netif *netif, u8_t *data, u8_t len) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/c/ |
H A D | lib_buffer_unpack.c | 38 memcpy(buf, r->sbuf.data + off, actual_size); 76 msgpack_object obj = result.data; 89 printf("The data in the buf is invalid format.\n");
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | protocol.cpp | 61 msgpack::unpack(result, buffer.data(), buffer.size()); 89 msgpack::unpack(result, buffer.data(), buffer.size());
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | zbuffer.hpp | 90 char* data() function in class:msgpack::zbuffer 95 const char* data() const function in class:msgpack::zbuffer
|
/seL4-camkes-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_io.c | 172 static size_t sys_platform_write(void *data, size_t count) argument 174 char *realdata = data; 209 fds->data = malloc(sizeof(cpio_file_data_t)); 210 if (!fds->data) { 215 cpio_file_data_t *fd_data = (cpio_file_data_t *)fds->data; 261 free(fds->data); 364 cpio_file_data_t *cpio_fd = muslc_fd->data; 461 cpio_file_data_t *cpio_fd = muslc_fd->data;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | fec_mxc.c | 64 uint16_t data) 66 return enet_mdio_write((struct enet *)bus->priv, phyAddr, regAddr, data); 141 /* min rx data delay */ 143 /* min tx data delay */ 63 fec_phy_write(struct mii_dev *bus, int phyAddr, int dev_addr, int regAddr, uint16_t data) argument
|
/seL4-camkes-master/kernel/tools/hardware/outputs/ |
H A D | elfloader.py | 171 data = template.render(template_args) 172 args.elfloader_out.write(data)
|
H A D | c_header.py | 180 data = template.render(template_args) 181 args.header_out.write(data)
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/linuxsel4vchan/ |
H A D | vmm_driver.h | 36 int call_into_hypervisor(int cmd, void *data, size_t sz, vmcall_args_t *vmcall);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/ |
H A D | vclock.c | 296 /* Initialise private data */ 325 struct clock_data *data = &clock_data[clk_id]; local 327 assert(data); 328 assert(data->nregs); 329 for (i = 0; i < data->nregs; i++) { 332 mask = (uint32_t *)(clkd->mask[data->regs[i].bank] + data->regs[i].offset); 334 mask_val = ((1UL << data->regs[i].bits) - 1) << data->regs[i].shift;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/exynos/ |
H A D | i2c.c | 126 /* data */ 144 uint32_t data; /* 0x000C tx/rx data shift register 0xXX */ member in struct:exynos_i2c_regs 229 dev->regs->data = I2CDATA_WRITE(slave); 242 dev->regs->data = I2CDATA_READ(slave); 427 (void)dev->regs->data; 462 v = dev->regs->data; 476 /* Start pumping out data */ 478 dev->regs->data = v; 490 /* Read in the data */ [all...] |
/seL4-camkes-master/projects/lwip/src/api/ |
H A D | sockets.c | 663 /* See event_callback: If data comes in right away after an accept, even 939 /* Check if there is data left from the last recv operation. */ 943 /* No data was left from the previous operation, so we try to get 951 /* already received data, return that (this trusts in getting the same error from 994 /* ... check if there is data left in the pbuf */ 998 We store the pbuf but hide/free the consumed data: */ 1007 /* once we have some data to return, only add more if we don't need to wait */ 1013 /* ensure window update after copying all data */ 1021 /* Convert a netbuf's address data to struct sockaddr */ 1106 /* Check if there is data lef 1382 lwip_send(int s, const void *data, size_t size, int flags) argument 1585 lwip_sendto(int s, const void *data, size_t size, int flags, const struct sockaddr *to, socklen_t tolen) argument 1746 lwip_write(int s, const void *data, size_t size) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/network/ |
H A D | res_mkquery.c | 7 const unsigned char *data, int datalen, 6 __res_mkquery(int op, const char *dname, int class, int type, const unsigned char *data, int datalen, const unsigned char *newrr, unsigned char *buf, int buflen) argument
|
/seL4-camkes-master/projects/musllibc/src/thread/i386/ |
H A D | __set_thread_area.s | 43 .data
|