/seL4-camkes-master/kernel/tools/hardware/ |
H A D | device.py | 119 data = list(self.props['interrupts-extended'].words) 120 while len(data) > 0: 121 phandle = data.pop(0) 123 irqs.append(interrupt_parent.parse_irq(self, data)) 125 data = list(self.props['interrupts'].words) 127 while len(data) > 0: 128 irqs.append(interrupt_parent.parse_irq(self, data)) 176 data = list(ranges_prop.words) 200 while len(data) > 0: 201 child_addr = Utils.make_number(child_addr_cells, data) [all...] |
/seL4-camkes-master/projects/global-components/plat_components/tx2/BPMPServer/libBPMPServer-client/ |
H A D | bpmpserver_client.c | 27 static int bpmpserver_call_wrapper(void *data, int mrq, void *tx_msg, size_t tx_size, argument 35 bpmpserver_interface_data_t *bpmpserver_data = data; 86 /* Setup the private data */ 93 bpmp->data = &bpmpserver_private_data;
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdtget.c | 48 int util_is_printable_string(const void *data, int len) argument 50 const char *s = data; 80 * * Displays data of a given length according to selected options 82 * * If a specific data type is provided in disp, then this is used. Otherwise 83 * * we try to guess the data type / size from the contents. 86 * * @param data Data to display 88 * * @return 0 if ok, -1 if data does not match format 90 int show_data(struct display_info *disp, const char *data, int len) argument 93 const uint8_t *p = (const uint8_t *)data; 99 /* no data, do 148 const struct fdt_property *data; local [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | reference_cpp11.cpp | 12 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced); 22 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced); 35 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced); 48 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced); 69 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced, never_called); 79 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced, always_reference); 92 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced, always_reference); 105 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced, always_reference); 137 msgpack::unpacked ret = msgpack::unpack(sbuf.data(), sbuf.size(), referenced, never_called, &sbuf); 149 // the last argument sbuf is any pointer as a user data [all...] |
H A D | reference.cpp | 11 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced); 22 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced); 36 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced); 50 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced); 72 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced, never_called); 84 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced, always_reference); 98 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced, always_reference); 112 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced, always_reference); 145 msgpack::unpack(ret, sbuf.data(), sbuf.size(), referenced, never_called, &sbuf); 158 // the last argument sbuf is any pointer as a user data [all...] |
H A D | msgpack_cpp11.cpp | 46 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 57 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 71 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 85 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 101 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 115 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 132 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 147 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 195 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 208 msgpack::unpack(ret, sbuf.data(), sbu [all...] |
H A D | msgpack_basic.cpp | 45 msgpack::unpack(ret, sbuf.data(), sbuf.size()); \ 176 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 218 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 269 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 287 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 297 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 308 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 322 msgpack::unpack(ret, sbuf.data(), sbuf.size()); 325 EXPECT_EQ(2, ret.get().via.ext.data()[0]); 337 msgpack::unpack(ret, sbuf.data(), sbu [all...] |
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/adaptor/cpp11/ |
H A D | array_char.hpp | 33 std::memcpy(v.data(), o.via.bin.ptr, o.via.bin.size); 37 std::memcpy(v.data(), o.via.str.ptr, N); 53 o.pack_bin_body(v.data(), size); 64 o.via.bin.ptr = v.data(); 77 std::memcpy(ptr, v.data(), size);
|
H A D | array_unsigned_char.hpp | 33 std::memcpy(v.data(), o.via.bin.ptr, o.via.bin.size); 37 std::memcpy(v.data(), o.via.str.ptr, N); 53 o.pack_bin_body(reinterpret_cast<char const*>(v.data()), size); 64 o.via.bin.ptr = reinterpret_cast<char const*>(v.data()); 77 std::memcpy(ptr, v.data(), size);
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/arch/arm/ |
H A D | usb3503_hub.c | 65 char data; local 66 count = i2c_kvslave_read(&hub->kvslave, addr, &data, 1); 70 return data; 74 static int write_reg(usb3503_t *hub, int addr, int data) argument 78 cdata = data;
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | mouse.c | 53 uint8_t *data; local 56 data = xact_get_vaddr(&mouse->int_xact); 62 mouse->event.button = data[0]; 63 mouse->event.x = data[1]; 64 mouse->event.y = data[2];
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | ega.c | 100 const char* data = (const char*)vdata; local 103 if (text_ega_putchar(d, *data++) < 0) { 113 char* data; local 116 data = (char*)vdata; 120 *data++ = ret;
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_802154.c | 72 pico_swap(&addr->addr.data[i], &addr->addr.data[end - i]); 118 struct pico_802154 src = { .addr.data = { 0 }, .mode = src_am(hdr) }; 121 memcpy(src.addr.data, addresses + SIZE_6LOWPAN(dst_am(hdr)), len); 131 struct pico_802154 dst = { .addr.data = { 0 }, .mode = dst_am(hdr) }; 134 memcpy(dst.addr.data, addresses, len); 173 memcpy(addresses, dst.addr.data, SIZE_6LOWPAN(dst.mode)); 174 memcpy(addresses + SIZE_6LOWPAN(dst.mode), src.addr.data,SIZE_6LOWPAN(src.mode)); 250 memcpy(addr.addr.data, info->addr_ext.addr, SIZE_6LOWPAN_EXT); 260 memcpy(addr.addr.data, (uint8_ [all...] |
/seL4-camkes-master/tools/rumprun/platform/hw/pci/ |
H A D | rumppci.c | 121 unsigned int data; local 125 data = inl(PCI_CONF_DATA); 127 *value = data; 165 rumpcomp_pci_irq_establish(unsigned cookie, int (*handler)(void *), void *data) argument 168 bmk_isr_rumpkernel(handler, data, intrs[cookie], BMK_INTR_ROUTED);
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/ |
H A D | extract_results.py | 79 data = args.input.read() 84 matches = re.search(regexp, data) 88 data = matches.group(0) 90 # Dump input data *before* parsing in case we choke during parsing. This 94 print(data) 99 soup = bs4.BeautifulSoup(data, "lxml")
|
/seL4-camkes-master/tools/pruner/ |
H A D | cfg.c | 52 cfg_visitor_t visitor, void *data) { 75 switch (visitor(current, name, data)) { 85 if (visitor(NULL, current, data) == CXChildVisit_Break) 90 if (visit_callees(c, callee, visitor, data) == CXChildVisit_Break) 106 void *data) { 111 visitor(NULL, name, data); 115 return visit_callees(c, f, visitor, data) == CXChildVisit_Break; 51 visit_callees(cfg_t *c, fn_t *f, cfg_visitor_t visitor, void *data) argument 105 cfg_visit_callees(cfg_t *c, const char *name, cfg_visitor_t visitor, void *data) argument
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp11/ |
H A D | container.cpp | 28 msgpack::unpacked und = msgpack::unpack(ss.str().data(), ss.str().size()); 40 auto und = msgpack::unpack(ss.str().data(), ss.str().size()); 52 auto und = msgpack::unpack(ss.str().data(), ss.str().size()); 64 auto und = msgpack::unpack(ss.str().data(), ss.str().size()); 77 auto und = msgpack::unpack(ss.str().data(), ss.str().size()); 101 auto und = msgpack::unpack(ss.str().data(), ss.str().size(), offset); 109 auto und = msgpack::unpack(ss.str().data(), ss.str().size(), offset); 117 auto und = msgpack::unpack(ss.str().data(), ss.str().size(), offset); 125 auto und = msgpack::unpack(ss.str().data(), ss.str().size(), offset); 133 auto und = msgpack::unpack(ss.str().data(), s [all...] |
/seL4-camkes-master/projects/lwip/src/core/ipv6/ |
H A D | icmp6.c | 66 static void icmp6_send_response(struct pbuf *p, u8_t code, u32_t data, u8_t type); 67 static void icmp6_send_response_with_addrs(struct pbuf *p, u8_t code, u32_t data, 69 static void icmp6_send_response_with_addrs_and_netif(struct pbuf *p, u8_t code, u32_t data, 305 * @param data Additional 32-bit parameter in the ICMPv6 header 309 icmp6_send_response(struct pbuf *p, u8_t code, u32_t data, u8_t type) argument 323 icmp6_send_response_with_addrs_and_netif(p, code, data, type, reply_src, reply_dest, netif); 340 * @param data Additional 32-bit parameter in the ICMPv6 header 346 icmp6_send_response_with_addrs(struct pbuf *p, u8_t code, u32_t data, u8_t type, argument 368 icmp6_send_response_with_addrs_and_netif(p, code, data, type, reply_src, 378 * @param data Additiona 385 icmp6_send_response_with_addrs_and_netif(struct pbuf *p, u8_t code, u32_t data, u8_t type, const ip6_addr_t *reply_src, const ip6_addr_t *reply_dest, struct netif *netif) argument [all...] |
/seL4-camkes-master/projects/lwip/src/netif/ppp/polarssl/ |
H A D | md5.c | 85 static void md5_process( md5_context *ctx, const unsigned char data[64] ) 89 GET_ULONG_LE( X[ 0], data, 0 ); 90 GET_ULONG_LE( X[ 1], data, 4 ); 91 GET_ULONG_LE( X[ 2], data, 8 ); 92 GET_ULONG_LE( X[ 3], data, 12 ); 93 GET_ULONG_LE( X[ 4], data, 16 ); 94 GET_ULONG_LE( X[ 5], data, 20 ); 95 GET_ULONG_LE( X[ 6], data, 24 ); 96 GET_ULONG_LE( X[ 7], data, 28 ); 97 GET_ULONG_LE( X[ 8], data, 3 [all...] |
/seL4-camkes-master/projects/picotcp/test/ |
H A D | ppp.c | 63 int modem_read(struct pico_device *dev, void *data, int len) argument 66 r = read(fd, data, len); 71 printf(" %02x", ((uint8_t*)data)[idx]); 81 int modem_write(struct pico_device *dev, const void *data, int len) argument 87 printf(" %02x", ((uint8_t*)data)[idx]); 91 r = write(fd, data, len);
|
/seL4-camkes-master/tools/rumprun/platform/xen/xen/console/ |
H A D | xencons_ring.c | 40 int xencons_ring_send_no_notify(struct consfront_dev *dev, const char *data, unsigned len) argument 59 intf->out[MASK_XENCONS_IDX(prod++, intf->out)] = data[sent++]; 66 int xencons_ring_send(struct consfront_dev *dev, const char *data, unsigned len) argument 73 data + sent, len - sent); 81 void console_handle_input(evtchn_port_t port, struct pt_regs *regs, void *data) argument 83 struct consfront_dev *dev = (struct consfront_dev *) data; 130 /* In case we have in-flight data after save/restore... */
|
/seL4-camkes-master/projects/lwip/test/fuzz/ |
H A D | fuzz.c | 51 * For this, the input is interpreted as 2 byte length + data + 2 byte length + data... 95 static void input_pkt(struct netif *netif, const u8_t *data, size_t len) argument 104 MEMCPY(q->payload, data, q->len); 105 data += q->len; 113 static void input_pkts(struct netif *netif, const u8_t *data, size_t len) argument 117 const u8_t *ptr = data; 137 input_pkt(netif, data, len);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/sel4_arch/aarch64/ |
H A D | fault.c | 135 seL4_Word data; local 136 data = fault_get_data(fault) & fault_get_data_mask(fault); 139 printf("0x%16lx", data); 142 printf("0x%8lx", data); 145 printf("0x%02lx", data); 148 printf("<Invalid width> 0x%lx", data);
|
/seL4-camkes-master/projects/camkes/apps/fdtgen/ |
H A D | fdt_utils.c | 24 bool util_is_printable_string(const void *data, int len) argument 26 const char *s = data; 55 static void print_data(const char *data, int len) argument 58 const char *p = data; 64 if (util_is_printable_string(data, len)) { 65 printf(" = \"%s\"", (const char *)data);
|
/seL4-camkes-master/projects/camkes/apps/terminal/components/Manager/src/ |
H A D | display.c | 91 int domain1_put_char(int x, int y, char data) { argument 97 if (data == ESC) { 108 write_char(DOMAIN1_X + x, DOMAIN1_Y + y, data); 117 int domain2_put_char(int x, int y, char data) { argument 123 if (data == ESC) { 134 write_char(DOMAIN2_X + x, DOMAIN2_Y + y, data);
|