/seL4-camkes-master/projects/picotcp/stack/ |
H A D | pico_protocol.c | 52 static int proto_loop_in(struct pico_protocol *proto, int loop_score) argument 55 while(loop_score > 0) { 61 loop_score--; 64 return loop_score; 67 static int proto_loop_out(struct pico_protocol *proto, int loop_score) argument 70 while(loop_score > 0) { 76 loop_score--; 79 return loop_score; 82 static int proto_loop(struct pico_protocol *proto, int loop_score, int direction) argument 86 loop_score 119 pico_protocol_generic_loop(struct pico_proto_rr *rr, int loop_score, int direction) argument 150 pico_protocol_datalink_loop(int loop_score, int direction) argument 155 pico_protocol_network_loop(int loop_score, int direction) argument 160 pico_protocol_transport_loop(int loop_score, int direction) argument 165 pico_protocol_socket_loop(int loop_score, int direction) argument 170 pico_protocols_loop(int loop_score) argument [all...] |
H A D | pico_device.c | 296 static int check_dev_serve_interrupt(struct pico_device *dev, int loop_score) argument 300 loop_score = dev->dsr(dev, loop_score); 303 return loop_score; 306 static int check_dev_serve_polling(struct pico_device *dev, int loop_score) argument 309 loop_score = dev->poll(dev, loop_score); 312 return loop_score; 315 static int devloop_in(struct pico_device *dev, int loop_score) argument 318 while(loop_score > 342 devloop_out(struct pico_device *dev, int loop_score) argument 366 devloop(struct pico_device *dev, int loop_score, int direction) argument 408 pico_devices_loop(int loop_score, int direction) argument [all...] |
H A D | pico_socket.c | 2024 static int pico_sockets_loop_udp(int loop_score) argument 2043 while (loop_score > SL_LOOP_MIN && sp_udp != NULL) { 2049 while (f && (loop_score > 0)) { 2051 loop_score -= 1; 2052 if (loop_score > 0) /* only dequeue if there is still loop_score, otherwise f might get lost */ 2070 return loop_score; 2073 static int pico_sockets_loop_tcp(int loop_score) argument 2088 while (loop_score > SL_LOOP_MIN && sp_tcp != NULL) { 2092 loop_score 2135 pico_sockets_loop(int loop_score) argument [all...] |
/seL4-camkes-master/projects/picotcp/modules/ |
H A D | pico_dev_loop.c | 34 static int pico_loop_poll(struct pico_device *dev, int loop_score) argument 36 if (loop_score <= 0) 42 loop_score--; 45 return loop_score;
|
H A D | pico_dev_null.c | 32 static int pico_null_poll(struct pico_device *dev, int loop_score) argument 36 return loop_score;
|
H A D | pico_dev_ipc.c | 29 static int pico_ipc_poll(struct pico_device *dev, int loop_score) argument 39 return loop_score; 43 loop_score--; 46 } while(loop_score > 0);
|
H A D | pico_dev_pcap.c | 38 static int pico_pcap_poll(struct pico_device *dev, int loop_score) argument 41 loop_score -= pcap_dispatch(pcap->conn, loop_score, pico_dev_pcap_cb, (u_char *) pcap); 42 return loop_score;
|
H A D | pico_dev_tun.c | 32 static int pico_tun_poll(struct pico_device *dev, int loop_score) argument 42 return loop_score; 46 loop_score--; 49 } while(loop_score > 0);
|
H A D | pico_dev_vde.c | 47 static int pico_vde_poll(struct pico_device *dev, int loop_score) argument 57 return loop_score; 63 loop_score--; 67 } while(loop_score > 0);
|
H A D | pico_dev_radiotest.c | 212 static int pico_loop_poll(struct pico_device *dev, int loop_score) argument 218 if (loop_score <= 0) 226 loop_score--; 229 return loop_score; 273 static int radiotest_poll(struct pico_device *dev, int loop_score) argument 282 if (loop_score <= 0) 286 return loop_score; 295 return loop_score; 304 if (ret_len != 1) return loop_score; 307 return loop_score; [all...] |
H A D | pico_dev_tap.c | 59 static int pico_tap_poll(struct pico_device *dev, int loop_score) argument 69 return loop_score; 74 loop_score--; 77 } while(loop_score > 0);
|
H A D | pico_dev_mock.c | 72 static int pico_mock_poll(struct pico_device *dev, int loop_score) argument 83 if (loop_score <= 0) 86 while(mock->in_head != NULL && loop_score > 0) 89 loop_score--; 96 return loop_score; 103 return loop_score;
|
H A D | pico_6lowpan_ll.h | 85 int (* poll)(struct pico_device *dev, int loop_score));
|
H A D | pico_tcp.h | 89 int pico_tcp_output(struct pico_socket *s, int loop_score);
|
H A D | pico_dev_tap_windows.c | 1010 static int pico_tap_poll(struct pico_device *dev, int loop_score) argument 1013 while (loop_score) 1016 loop_score--; 1026 return loop_score;
|
H A D | pico_6lowpan_ll.c | 376 int (* poll)(struct pico_device *dev, int loop_score)) 374 pico_dev_6lowpan_init(struct pico_dev_6lowpan *dev, const char *name, uint8_t *mac, enum pico_ll_mode ll_mode, uint16_t mtu, uint8_t nomac, int (* send)(struct pico_device *dev, void *_buf, int len, union pico_ll_addr src, union pico_ll_addr dst), int (* poll)(struct pico_device *dev, int loop_score)) argument
|
H A D | pico_dev_ppp.c | 2024 static int pico_ppp_poll(struct pico_device *dev, int loop_score) argument 2048 loop_score--; 2081 } while ((r > 0) && (len < ARRAY_SIZE(ppp_recv_buf)) && (loop_score > 0)); 2084 return loop_score;
|
H A D | pico_tcp.c | 2917 int pico_tcp_output(struct pico_socket *s, int loop_score) argument 2966 loop_score--; 2968 if (loop_score < 1) 2991 return loop_score;
|
/seL4-camkes-master/projects/picotcp/include/ |
H A D | pico_protocol.h | 87 int pico_protocols_loop(int loop_score); 90 int pico_protocol_datalink_loop(int loop_score, int direction); 91 int pico_protocol_network_loop(int loop_score, int direction); 92 int pico_protocol_transport_loop(int loop_score, int direction); 93 int pico_protocol_socket_loop(int loop_score, int direction);
|
H A D | pico_device.h | 32 int (*poll)(struct pico_device *self, int loop_score); 34 int (*dsr)(struct pico_device *self, int loop_score); 46 int pico_devices_loop(int loop_score, int direction);
|
H A D | pico_socket.h | 246 int pico_sockets_loop(int loop_score);
|
/seL4-camkes-master/projects/global-components/components/PicoServer/src/ |
H A D | eth_interface.c | 58 static int pico_eth_poll(struct pico_device *dev, int loop_score) argument 61 while (loop_score > 0) { 68 loop_score--; 73 return loop_score;
|
/seL4-camkes-master/projects/camkes/apps/picotcp_single_component/src/ |
H A D | ethdriver.c | 131 static int pico_eth_poll(struct pico_device *dev, int loop_score) argument 133 while (loop_score > 0) { 147 loop_score--; 149 if (loop_score == 0) { 153 return loop_score;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/ |
H A D | pico_dev_eth.c | 244 static int pico_eth_poll(struct pico_device *dev, int loop_score) argument 247 while (loop_score > 0) { 266 loop_score--; 269 return loop_score;
|
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
H A D | client.c | 136 static int pico_eth_poll(struct pico_device *dev, int loop_score) argument 139 while (loop_score > 0) { 174 loop_score--; 176 return loop_score;
|