| /seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/ |
| H A D | udp_echo_socket.c | 15 virtqueue_ring_object_t handle; local
42 virtqueue_ring_object_t handle; local
77 virtqueue_ring_object_t handle; local
[all...] |
| H A D | tcp_echo_socket.c | 26 virtqueue_ring_object_t handle; local
93 virtqueue_ring_object_t handle; local
130 virtqueue_ring_object_t handle; local
[all...] |
| H A D | echo.c | 44 virtqueue_ring_object_t handle; local
|
| /seL4-camkes-master/projects/camkes/apps/fdtgen/ |
| H A D | fdtgen.c | 26 fdtgen_context_t *handle = fdtgen_new_context(new, total_size); local
|
| /seL4-camkes-master/projects/lwip/src/apps/snmp/ |
| H A D | snmp_netconn.c | 82 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument
95 snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result) argument
|
| H A D | snmp_raw.c | 57 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument
63 snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result) argument
|
| H A D | snmp_msg.h | 82 void *handle; member in struct:snmp_request
|
| /seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ |
| H A D | client.c | 48 virtqueue_ring_object_t handle; local
69 virtqueue_ring_object_t handle; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
| H A D | default.c | 67 simple_default_get_msi(void *data, seL4_CNode root, seL4_Word index, uint8_t depth, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
| /seL4-camkes-master/projects/musllibc/src/network/ |
| H A D | ns_parse.c | 50 int ns_initparse(const unsigned char *msg, int msglen, ns_msg *handle) argument
104 ns_parserr(ns_msg *handle, ns_sect section, int rrnum, ns_rr *rr) argument
[all...] |
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/ |
| H A D | gntmap.c | 46 grant_handle_t handle; member in struct:gntmap_entry
|
| H A D | blkfront.c | 45 blkif_vdev_t handle; member in struct:blkfront_dev
|
| /seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
| H A D | virtqueue.c | 112 virtqueue_ring_object_t handle; local
166 virtqueue_ring_object_t handle; local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | msgqueue.c | 99 virtqueue_ring_object_t handle = {0}; local
203 virtqueue_ring_object_t handle = {0}; local
|
| H A D | virtqueue.c | 162 virtqueue_ring_object_t handle; local
172 static int chain_vq_buf(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, argument
188 virtqueue_ring_object_t handle; local
211 int camkes_virtqueue_driver_gather_copy_buffer(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, argument
231 camkes_virtqueue_device_scatter_copy_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, void *buffer, size_t size) argument
254 camkes_virtqueue_device_gather_copy_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, void *buffer, size_t size) argument
277 camkes_virtqueue_driver_gather_buffer(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, void **buffer, unsigned *size, vq_flags_t *flag) argument
288 camkes_virtqueue_device_gather_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, void **buffer, unsigned *size, vq_flags_t *flag) argument
[all...] |
| /seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/ |
| H A D | client.c | 77 virtqueue_ring_object_t handle; local
103 virtqueue_ring_object_t handle; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 117 arch_simple_get_msi(arch_simple_t *arch_simple, cspacepath_t path, seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, seL4_Word vector) argument
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | interrupt.c | 153 word_t handle = getSyscallArg(5, buffer); local
|
| /seL4-camkes-master/projects/global-components/components/SerialServer/src/ |
| H A D | server_virtqueue.c | 77 virtqueue_ring_object_t handle = vq_token->virtqueue_handle; local
90 static void handle_virtqueue_message(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, enum virtqueue_op op) argument
130 virtqueue_ring_object_t handle; local
[all...] |
| /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
| H A D | irq.h | 56 long handle; member in struct:__anon1::__anon2::__anon4
|
| /seL4-camkes-master/projects/lwip/src/apps/tftp/ |
| H A D | tftp_server.c | 81 void *handle; member in struct:tftp_state
[all...] |
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
| H A D | client.c | 78 virtqueue_ring_object_t handle; local
128 virtqueue_ring_object_t handle; local
140 virtqueue_ring_object_t handle; local
231 virtqueue_ring_object_t handle; local
[all...] |
| H A D | server.c | 48 virtqueue_ring_object_t handle; local
66 virtqueue_ring_object_t handle; local
93 virtqueue_ring_object_t handle; local
104 virtqueue_ring_object_t handle; local
141 virtqueue_ring_object_t handle; local
[all...] |
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | server.c | 566 virtqueue_ring_object_t handle; local
628 virtqueue_ring_object_t handle; local
698 virtqueue_ring_object_t handle; local
759 virtqueue_ring_object_t handle; local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libfdtgen/ |
| H A D | fdtgen.c | 67 static void init_keep_node(fdtgen_context_t *handle, const char **nodes, int num_nodes, enum device_flag flag) argument
84 static int is_to_keep(fdtgen_context_t *handle, UNUSED int child) argument
95 uint32_t handle = fdt32_ld(prop_data); local
101 keep_node_and_parents(fdtgen_context_t *handle, int offset, int target) argument
148 register_single_dependency(fdtgen_context_t *handle, int offset, int lenp, const void *data, dependency_t *this) argument
171 register_clocks_dependency(fdtgen_context_t *handle, int offset, int lenp, const void *data_, dependency_t *this) argument
191 register_power_domains_dependency(fdtgen_context_t *handle, int offset, int lenp, const void *data_, dependency_t *this) argument
204 register_node_dependency(fdtgen_context_t *handle, int offset, const char *type, int p_offset) argument
231 register_node_dependencies(fdtgen_context_t *handle, int offset) argument
250 resolve_all_dependencies(fdtgen_context_t *handle) argument
262 find_nodes_to_keep(fdtgen_context_t *handle, int offset) argument
303 trim_tree(fdtgen_context_t *handle, int offset) argument
356 clean_up(fdtgen_context_t *handle) argument
380 fdtgen_keep_nodes(fdtgen_context_t *handle, const char **nodes_to_keep, int num_nodes) argument
385 fdtgen_keep_nodes_and_disable(fdtgen_context_t *handle, const char **nodes_to_keep, int num_nodes) argument
390 keep_node_and_children(fdtgen_context_t *handle, const void *ori_fdt, int offset, enum device_flag flag) argument
416 fdtgen_keep_node_subtree_disable(fdtgen_context_t *handle, const void *ori_fdt, const char *node) argument
439 fdtgen_keep_node_subtree(fdtgen_context_t *handle, const void *ori_fdt, const char *node) argument
461 fdtgen_generate(fdtgen_context_t *handle, const void *fdt_ori) argument
[all...] |