| /seL4-camkes-master/projects/musllibc/src/select/ |
| H A D | poll.c | 7 int poll(struct pollfd *fds, nfds_t n, int timeout) function
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | msgqueue.h | 31 int (*poll)(void); member in struct:camkes_msgqueue_receiver
|
| H A D | msgqueue_template.h | 32 int (*poll)(void); member in struct:camkes_msgqueue_channel::__anon3::__anon4
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4NotificationQueue-to.template.c | 111 static int poll(void) { function
|
| H A D | seL4Notification-to.template.c | 114 static int poll(void) { function
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | msgqueue_template.c | 84 camkes_msgqueue_channel_register_receiver(int msgqueue_id, void *buffer, unsigned queue_len, size_t buffer_size, size_t message_size, int (*poll)(void), void (*wait)(void)) argument
|
| /seL4-camkes-master/projects/picotcp/include/ |
| H A D | pico_device.h | 32 int (*poll)(struct pico_device *self, int loop_score); member in struct:pico_device
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vchan/include/sel4vchan/ |
| H A D | vchan_component.h | 30 int (*poll)(void); member in struct:camkes_vchan_con
|
| /seL4-camkes-master/projects/cakeml_libs/cakeml_libraries/libvirtqueue/ |
| H A D | virtqueueScript.sml | 152 fun poll vq = case vq of function
|
| /seL4-camkes-master/projects/lwip/src/include/lwip/ |
| H A D | altcp.h | 78 altcp_poll_fn poll; member in struct:altcp_pcb
|
| H A D | tcp.h | 358 tcp_poll_fn poll; member in struct:tcp_pcb
|
| H A D | sockets.h | 653 #define poll(fds,nfds,timeout) lwip_poll(fds,nfds,timeout) macro
|
| /seL4-camkes-master/projects/picotcp/modules/ |
| H A D | pico_sntp_client.c | 50 uint8_t poll; /* Poll, only significant in server messages */ variable
|
| /seL4-camkes-master/projects/lwip/src/core/ |
| H A D | altcp.c | 261 altcp_poll(struct altcp_pcb *conn, altcp_poll_fn poll, u8_t interval) argument
|
| H A D | tcp.c | 2105 tcp_poll(struct tcp_pcb *pcb, tcp_poll_fn poll, u8_t interval) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
| H A D | i8259.c | 61 unsigned char poll; member in struct:i8259_state
|