Searched refs:handle (Results 1 - 25 of 48) sorted by relevance

12

/seL4-camkes-master/projects/musllibc/src/network/
H A Dns_parse.c50 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 Dfdtgen.c37 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 Dtftp_server.h61 * @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 Dudp_echo_socket.c15 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 Dtcp_echo_socket.c26 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 Decho.c44 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 Dfdtgen.c26 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 Dfdtgen.h39 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 Dserver.c48 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 Dclient.c78 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 Dvirtqueue.c162 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 Dmsgqueue.c99 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 Dclient.c77 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 Dserver_virtqueue.c77 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 Dclient.c48 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 Dsnmp_netconn.c82 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 Dsnmp_raw.c57 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 Dsnmp_msg.h81 /* 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 Dvirtqueue.h157 /* 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 Dvirtqueue.c112 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 Dtftp_server.c81 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 Dnameser.h51 #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 Dserver.c566 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 Ddevice.c24 irq->msi.pci_func, irq->msi.handle, irq->msi.vector);
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/x86/
H A Ddefault.c68 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

Completed in 108 milliseconds

12