/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 54 handle->_msg = msg; 55 handle->_eom = msg + msglen; 57 NS_GET16(handle->_id, msg); 58 NS_GET16(handle->_flags, msg); 59 for (i = 0; i < ns_s_max; i++) NS_GET16(handle->_counts[i], msg); 61 if (handle->_counts[i]) { 62 handle->_sections[i] = msg; 63 r = ns_skiprr(msg, handle->_eom, i, handle 104 ns_parserr(ns_msg *handle, ns_sect section, int rrnum, ns_rr *rr) argument [all...] |
/seL4-camkes-master/projects/projects_libs/libfdtgen/ |
H A D | fdtgen.c | 37 static const char *props_with_dep[] = {"phy-handle", "next-level-cache", "interrupt-parent", "interrupts-extended", "clocks", "power-domains"}; 67 static void init_keep_node(fdtgen_context_t *handle, const char **nodes, int num_nodes, enum device_flag flag) argument 71 HASH_FIND_STR(handle->nodes_table, nodes[i], this); 77 HASH_ADD_STR(handle->nodes_table, name, new); 84 static int is_to_keep(fdtgen_context_t *handle, UNUSED int child) argument 86 void *dtb = handle->buffer; 88 HASH_FIND_STR(handle->nodes_table, handle->string_buf, this); 95 uint32_t handle = fdt32_ld(prop_data); local 96 return handle; 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...] |
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | tftp_server.h | 61 * @returns File handle supplied to other functions 65 * Close file handle 66 * @param handle File handle returned by open() 68 void (*close)(void* handle); 71 * @param handle File handle returned by open() 76 int (*read)(void* handle, void* buf, int bytes); 79 * @param handle File handle returne [all...] |
/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 19 virtqueue_init_ring_object(&handle); 20 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) { 29 virtqueue_init_ring_object(&handle); 30 if (!virtqueue_add_available_buf(&tx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), sizeof(*msg), VQ_RW)) { 42 virtqueue_ring_object_t handle; local 45 virtqueue_init_ring_object(&handle); 46 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) { 77 virtqueue_ring_object_t handle; local 79 virtqueue_init_ring_object(&handle); [all...] |
H A D | tcp_echo_socket.c | 26 virtqueue_ring_object_t handle; local 42 virtqueue_init_ring_object(&handle); 43 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) { 80 virtqueue_init_ring_object(&handle); 81 if (!virtqueue_add_available_buf(&tx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), sizeof(*msg), VQ_RW)) { 93 virtqueue_ring_object_t handle; local 106 virtqueue_init_ring_object(&handle); 107 if (!virtqueue_add_available_buf(&rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(msg), BUF_SIZE, VQ_RW)) { 130 virtqueue_ring_object_t handle; local 132 virtqueue_init_ring_object(&handle); [all...] |
H A D | echo.c | 44 virtqueue_ring_object_t handle; local 46 if (virtqueue_get_used_buf(queue, &handle, &len) == 0) { 52 int more = virtqueue_gather_used(queue, &handle, &buf, &len, &flag); 116 /* Now poll for events and handle them */
|
/seL4-camkes-master/projects/camkes/apps/fdtgen/ |
H A D | fdtgen.c | 26 fdtgen_context_t *handle = fdtgen_new_context(new, total_size); local 27 fdtgen_keep_nodes(handle, nodes_to_keep, num_nodes_to_keep); 28 fdtgen_generate(handle, fdt); 29 fdtgen_free_context(handle);
|
/seL4-camkes-master/projects/projects_libs/libfdtgen/include/ |
H A D | fdtgen.h | 39 void fdtgen_keep_nodes_and_disable(fdtgen_context_t *handle, const char **nodes_to_keep, int num_nodes); 56 void fdtgen_keep_node_subtree_disable(fdtgen_context_t *handle, const void *ori_fdt, const char *node);
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | server.c | 48 virtqueue_ring_object_t handle; local 49 handle.first = (uint32_t)(uintptr_t)cookie; 50 handle.cur = (uint32_t)(uintptr_t)cookie; 51 if (!virtqueue_add_used_buf(&state->tx_virtqueue, &handle, BUF_SIZE)) { 66 virtqueue_ring_object_t handle; local 68 if (virtqueue_get_available_buf(&state->rx_virtqueue, &handle) == 0) { 77 int more = virtqueue_gather_available(&state->rx_virtqueue, &handle, &buf, &len, &flag); 83 *cookie = (void *)(uintptr_t) handle.first; 93 virtqueue_ring_object_t handle; local 94 handle 104 virtqueue_ring_object_t handle; local 141 virtqueue_ring_object_t handle; local [all...] |
H A D | client.c | 78 virtqueue_ring_object_t handle; local 81 if (virtqueue_get_used_buf(&state->tx_virtqueue, &handle, &sent_len) == 0) { 91 int more = virtqueue_gather_used(&state->tx_virtqueue, &handle, &buf, &sent_len, &flag); 103 virtqueue_init_ring_object(&handle); 104 if (!virtqueue_add_available_buf(&state->tx_virtqueue, &handle, ENCODE_DMA_ADDRESS(buf), len, VQ_RW)) { 128 virtqueue_ring_object_t handle; local 129 virtqueue_init_ring_object(&handle); 130 if (!virtqueue_add_available_buf(&state->rx_virtqueue, &handle, ENCODE_DMA_ADDRESS(buf), BUF_SIZE, VQ_RW)) { 140 virtqueue_ring_object_t handle; local 150 handle 231 virtqueue_ring_object_t handle; local [all...] |
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | virtqueue.c | 162 virtqueue_ring_object_t handle; local 164 virtqueue_init_ring_object(&handle); 165 if (!virtqueue_add_available_buf(vq, &handle, (void *)buf_offset, size, VQ_RW)) { 172 static int chain_vq_buf(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, argument 178 if (!virtqueue_add_available_buf(vq, handle, (void *)offset, size, VQ_RW)) { 188 virtqueue_ring_object_t handle; local 189 virtqueue_init_ring_object(&handle); 203 if (chain_vq_buf(vq, &handle, vq_buf, to_send)) { 211 int camkes_virtqueue_driver_gather_copy_buffer(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, argument 219 while (camkes_virtqueue_driver_gather_buffer(vq, handle, 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...] |
H A D | msgqueue.c | 99 virtqueue_ring_object_t handle = {0}; local 106 if (virtqueue_get_used_buf(&sender->sender_channel, &handle, &len)) { 107 error = camkes_virtqueue_driver_gather_buffer(&sender->sender_channel, &handle, 203 virtqueue_ring_object_t handle = {0}; local 205 if (!virtqueue_get_available_buf(&receiver->receiver_channel, &handle)) { 213 int error = camkes_virtqueue_device_gather_buffer(&receiver->receiver_channel, &handle, &message, &message_len, &flags); 220 virtqueue_add_used_buf(&receiver->receiver_channel, &handle, message_len);
|
/seL4-camkes-master/projects/camkes/apps/cakeml_tipc/components/client/ |
H A D | client.c | 77 virtqueue_ring_object_t handle; local 78 if (!virtqueue_get_available_buf(&recv_virtqueue, &handle)) { 83 while (!camkes_virtqueue_device_gather_buffer(&recv_virtqueue, &handle, &available_buff, &buf_size, &flag)) { 88 if (!virtqueue_add_used_buf(&recv_virtqueue, &handle, 0)) { 103 virtqueue_ring_object_t handle; local 104 if (!virtqueue_get_used_buf(&send_virtqueue, &handle, &wr_len)) { 108 while (!camkes_virtqueue_driver_gather_buffer(&send_virtqueue, &handle, &send_buff, &buf_size, &flag)) {
|
/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 79 if (camkes_virtqueue_device_scatter_copy_buffer(vq, &handle, serial_buf, buf_size) < 0) { 90 static void handle_virtqueue_message(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, enum virtqueue_op op) argument 95 buf_size = virtqueue_scattered_available_size(vq, handle); 98 virtqueue_add_used_buf(vq, handle, 0); 104 current_read_vq_token.virtqueue_handle = *handle; 110 virtqueue_add_used_buf(vq, handle, 0); 115 current_write_vq_token.virtqueue_handle = *handle; 118 camkes_virtqueue_device_gather_copy_buffer(vq, handle, serial_buffer, buf_size); 122 virtqueue_add_used_buf(vq, handle, 130 virtqueue_ring_object_t handle; local [all...] |
/seL4-camkes-master/projects/camkes/apps/serialserver_loopback/components/Client/src/ |
H A D | client.c | 48 virtqueue_ring_object_t handle; local 51 if (!virtqueue_get_used_buf(vq, &handle, &len)) { 59 if (camkes_virtqueue_driver_gather_copy_buffer(vq, &handle, buf, len) != 0) { 69 virtqueue_ring_object_t handle; local 73 if (!virtqueue_get_used_buf(vq, &handle, &len)) { 77 while (camkes_virtqueue_driver_gather_buffer(vq, &handle, &buf, &len, &flags) == 0) {
|
/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 89 result = netconn_sendto((struct netconn *)handle, &buf, dst, port); 95 snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result) argument 97 struct netconn *conn = (struct netconn *)handle;
|
H A D | snmp_raw.c | 57 snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port) argument 59 return udp_sendto((struct udp_pcb *)handle, p, dst, port); 63 snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result) argument 65 struct udp_pcb *udp_pcb = (struct udp_pcb *)handle;
|
H A D | snmp_msg.h | 81 /* Communication handle */ 82 void *handle; member in struct:snmp_request 170 /** handle for sending traps */ 173 void snmp_receive(void *handle, struct pbuf *p, const ip_addr_t *source_ip, u16_t port); 174 err_t snmp_sendto(void *handle, struct pbuf *p, const ip_addr_t *dst, u16_t port); 175 u8_t snmp_get_local_ip_for_dst(void *handle, const ip_addr_t *dst, ip_addr_t *result);
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | virtqueue.h | 157 /* Takes a handle (obtained from a get_used_buffer invocation), iterates through all the buffers in 161 * @param handle the iterator on the used ring object 166 int camkes_virtqueue_driver_gather_copy_buffer(virtqueue_driver_t *vq, virtqueue_ring_object_t *handle, 169 /* Takes a handle (obtained from a get_available_buffer), iterates through all the buffers in the scatterlist 173 * @param handle the iterator on the available ring object 178 int camkes_virtqueue_device_scatter_copy_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, 181 /* Takes a handle (obtained from a get_used_buffer invocation), iterates through all the buffers in 185 * @param handle the iterator on the available ring object 190 int camkes_virtqueue_device_gather_copy_buffer(virtqueue_device_t *vq, virtqueue_ring_object_t *handle, 193 /* Performs one iteration on the scatterlist pointed by the given handle [all...] |
/seL4-camkes-master/projects/camkes-tool/libcamkescakeml/src/ |
H A D | virtqueue.c | 112 virtqueue_ring_object_t handle; local 114 if (!virtqueue_get_available_buf(virtqueue, &handle)) { 120 int dequeue_res = camkes_virtqueue_device_gather_buffer(virtqueue, &handle, 133 if (!virtqueue_add_used_buf(virtqueue, &handle, 0)) { 166 virtqueue_ring_object_t handle; local 167 if (!virtqueue_get_used_buf(virtqueue, &handle, &wr_len)) { 172 while (!camkes_virtqueue_driver_gather_buffer(virtqueue, &handle, &used_buff, &buf_size, &flag)) {
|
/seL4-camkes-master/projects/lwip/src/apps/tftp/ |
H A D | tftp_server.c | 81 void *handle; member in struct:tftp_state 110 if (tftp_state.handle) { 111 tftp_state.ctx->close(tftp_state.handle); 112 tftp_state.handle = NULL; 192 ret = tftp_state.ctx->read(tftp_state.handle, &payload[2], TFTP_MAX_PAYLOAD_SIZE); 233 if (tftp_state.handle != NULL) { 256 tftp_state.handle = tftp_state.ctx->open(filename, mode, opcode == PP_HTONS(TFTP_WRQ)); 259 if (!tftp_state.handle) { 286 if (tftp_state.handle == NULL) { 300 ret = tftp_state.ctx->write(tftp_state.handle, [all...] |
/seL4-camkes-master/projects/musllibc/include/arpa/ |
H A D | nameser.h | 51 #define ns_msg_id(handle) ((handle)._id + 0) 52 #define ns_msg_base(handle) ((handle)._msg + 0) 53 #define ns_msg_end(handle) ((handle)._eom + 0) 54 #define ns_msg_size(handle) ((handle)._eom - (handle)._msg) 55 #define ns_msg_count(handle, sectio [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 567 handle.first = (uint32_t)(uintptr_t)cookie; 568 handle.cur = (uint32_t)(uintptr_t)cookie; 569 if (!virtqueue_add_used_buf(&tx_virtqueue, &handle, len)) { 628 virtqueue_ring_object_t handle; local 630 if (virtqueue_get_available_buf(&tx_virtqueue, &handle) == 0) { 636 int more = virtqueue_gather_available(&tx_virtqueue, &handle, &buf, &len, &flag); 648 tx_complete((void *)(uintptr_t)handle.first, 0); 655 tx_complete((void *)(uintptr_t)handle.first, 0); 664 msg->cookie_save = (void *)(uintptr_t)handle 698 virtqueue_ring_object_t handle; local 759 virtqueue_ring_object_t handle; local [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/plat/pc99/ |
H A D | device.c | 24 irq->msi.pci_func, irq->msi.handle, irq->msi.vector);
|
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/ |
H A D | default.c | 68 seL4_Word pci_bus, seL4_Word pci_dev, seL4_Word pci_func, seL4_Word handle, 72 pci_func, handle, vector); 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
|