/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/imx/epit/ |
H A D | epit.c | 70 * This bit controls the counter data when the modulus register is 168 static void epit_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 170 assert(data != NULL); 171 epit_t *epit = data;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/hikey/ |
H A D | dmt.c | 150 static void dmt_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 152 assert(data != NULL); 153 dmt_t *dmt = data;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
H A D | timer.c | 107 static void rk_handle_irq(void *data, ps_irq_acknowledge_fn_t acknowledge_fn, void *ack_data) argument 109 assert(data != NULL); 110 rk_t *rk = data;
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | ioports.c | 50 int emulate_io_handler(vmm_io_port_list_t *io_port, unsigned int port_no, bool is_in, size_t size, unsigned int *data) argument 76 ret = port->interface.port_in(port->interface.cookie, port_no, size, data); 78 ret = port->interface.port_out(port->interface.cookie, port_no, size, *data);
|
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt_rw.c | 213 if ((err = fdt_splice_struct_(fdt, (*prop)->data, FDT_TAGALIGN(oldlen), 286 *prop_data = prop->data; 316 err = fdt_splice_struct_(fdt, prop->data, 322 memcpy(prop->data + oldlen, val, len); 327 memcpy(prop->data, val, len);
|
/seL4-camkes-master/projects/capdl/capdl-loader-app/include/ |
H A D | capdl.h | 108 seL4_Word data; member in union:__anon37::__anon38 115 CDL_CapData data; member in struct:__anon40 279 seL4_Word data; member in struct:__anon47 426 return cap->data; 576 return obj->sc_extra.data;
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/detail/ |
H A D | cpp03_zone.hpp | 36 finalizer(void (*func)(void*), void* data):m_func(func), m_data(data) {} argument 55 void push(void (*func)(void* data), void* data) argument 60 push_expand(func, data); 65 fin->m_data = data; 69 void push_expand(void (*func)(void*), void* data) { argument 86 new (m_tail) finalizer(func, data); 150 void push_finalizer(void (*func)(void*), void* data); 305 inline void zone::push_finalizer(void (*func)(void*), void* data) argument [all...] |
/seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
H A D | blkfront.c | 55 void blkfront_handler(evtchn_port_t port, struct pt_regs *regs, void *data) argument 354 uintptr_t data = start + j * PAGE_SIZE; local 357 *(char*)(data + (req->seg[j].first_sect << 9)) = 0; 361 gnttab_grant_access(dev->dom, virtual_to_mfn(data), write); 374 aiocbp->data = (void*) 1; 385 aiocbp->data = NULL; 390 if (aiocbp->data)
|
H A D | netfront.c | 60 void (*netif_rx)(struct netfront_dev *, unsigned char* data, int len); 185 * data is outstanding: in such cases notification from Xen is 196 void netfront_handler(evtchn_port_t port, struct pt_regs *regs, void *data) argument 199 struct netfront_dev *dev = data; 242 struct netfront_dev *netfront_init(char *_nodename, void (*thenetif_rx)(struct netfront_dev *, unsigned char* data, int len), unsigned char rawmac[6], char **ip, void *priv) argument 524 void netfront_xmit(struct netfront_dev *dev, unsigned char* data,int len) argument 550 bmk_memcpy(page,data,len);
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/ |
H A D | Makefile.in | 106 install-data-recursive install-dvi-recursive \ 492 install-data: install-data-recursive 496 @$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am 540 install-data-am: 592 install install-am install-data install-data-am install-dvi \
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/c/ |
H A D | fsop.c | 547 struct obj_data *data; local 573 data = kmalloc(BILBYFS_MAX_DATA_SZ); 574 if (data) { 576 pack_obj_data(data, id, sz_data, symname); 577 obj_list[1] = data; 592 kfree(data); 787 bilbyfs_err("bad data object (block %d, inode %lu)", 791 memcpy(addr, odata->data, size); 853 if (pos + len > inode_size) /* appending data: update inode.size */ 896 void *data; local [all...] |
H A D | packobj.c | 112 const void *data) 119 memcpy(odata->data, data, sz_data); 111 pack_obj_data(struct obj_data *odata, obj_id id, int sz_data, const void *data) argument
|
/seL4-camkes-master/projects/projects_libs/libusbdrivers/src/drivers/ |
H A D | lan9730.c | 394 uint32_t data; local 397 data = BIT(11) | (addr << 6) | BIT(0); 398 err = write_register(eth, REG_MII_ACCESS, data);; 404 err = read_register(eth, REG_MII_ACCESS, &data); 408 } while (data & BIT(0)); 410 /* Read the data */ 420 uint32_t data; local 422 /* Setup the data */ 428 data = BIT(11) | (addr << 6) | BIT(1) | BIT(0); 429 err = write_register(eth, REG_MII_ACCESS, data);; [all...] |
H A D | usbkbd.c | 279 char *data; local 282 data = (char *)vdata; 287 *data++ = c;
|
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_tftp.c | 103 void (*data)(struct pico_tftp_session *session, int32_t len, union pico_address *a, uint16_t port); member in struct:automa_events 288 static inline int do_callback(struct pico_tftp_session *session, uint16_t err, uint8_t *data, int32_t len) argument 293 ret = session->callback(session, err, data, len, session->argument); 543 static void tftp_send_data(struct pico_tftp_session *session, const uint8_t *data, int32_t len) argument 556 memcpy(session->tftp_block + sizeof(struct pico_tftp_data_hdr), data, (size_t)len); 873 fsm[session->state].data(session, len, a, port); 1162 int32_t pico_tftp_send(struct pico_tftp_session *session, const uint8_t *data, int32_t len) argument 1179 tftp_send_data(session, data, size); 1279 int32_t pico_tftp_get(struct pico_tftp_session *session, uint8_t *data, int32_t len) argument 1296 memcpy(data, tftp_payloa 1304 pico_tftp_put(struct pico_tftp_session *session, uint8_t *data, int32_t len) argument [all...] |
H A D | pico_ipv6_nd.c | 316 memcpy(n->hwaddr.data, opt->addr.data, pico_hw_addr_len(dev, opt)); 321 return memcmp(n->hwaddr.data, opt->addr.data, pico_hw_addr_len(dev, opt)); 480 memcpy(n->hwaddr.data, opt->addr.data, len); 481 memset(n->hwaddr.data + len, 0, sizeof(union pico_hw_addr) - len); 500 } else if (memcmp(opt.addr.data, n->hwaddr.data, pico_hw_addr_len(f->dev, &opt))) { 1007 memcpy(lladdr.pan.addr.data, ar [all...] |
/seL4-camkes-master/tools/cogent/impl/fs/bilby/cogent/ |
H A D | Makefile | 22 DEFNS=data/defns.txt 39 LINUX_TYPES=plat/linux/data/types.txt 40 VERIF_TYPES=plat/verification/data/types.txt
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vpci.c | 77 uint32_t data = 0; local 80 err = dev->ioread((void *)dev->cookie, offset, get_vcpu_fault_size(vcpu), &data); 86 set_vcpu_fault_data(vcpu, data << s); 199 ZF_LOGE("Failed to install VPCI: Failed allocate pci cfg io data");
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/boost/ |
H A D | msgpack_variant_mapbased.cpp | 82 msgpack::unpacked unp = msgpack::unpack(ss.str().data(), ss.str().size());
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/example/cpp03/ |
H A D | class_intrusive.cpp | 88 msgpack::unpack(unp, ss.str().data(), ss.str().size());
|
H A D | map_based_versionup.cpp | 74 msgpack::unpacked unp = msgpack::unpack(ss.str().data(), ss.str().size());
|
H A D | speed_test_nested_array.cpp | 46 std::cout << "Setting up array data..." << std::endl; 64 std::cout << "Start unpacking...by void unpack(unpacked& result, const char* data, size_t len)" << std::endl; 67 msgpack::unpack(unpacked, str.data(), str.size());
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/ |
H A D | object_fwd.hpp | 71 const char* data() const { return &ptr[1]; } function in struct:msgpack::object_ext
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | msgpack_stream.cpp | 36 const char *p = sbuf.data(); \
|
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/apq8064/platsupport/plat/ |
H A D | timer.h | 137 void *data; member in struct:__anon702
|