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

/seL4-camkes-master/projects/picotcp/stack/
H A Dpico_protocol.c52 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 Dpico_device.c296 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 Dpico_socket.c2024 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 Dpico_dev_loop.c34 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 Dpico_dev_null.c32 static int pico_null_poll(struct pico_device *dev, int loop_score) argument
36 return loop_score;
H A Dpico_dev_ipc.c29 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 Dpico_dev_pcap.c38 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 Dpico_dev_tun.c32 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 Dpico_dev_vde.c47 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 Dpico_dev_radiotest.c212 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 Dpico_dev_tap.c59 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 Dpico_dev_mock.c72 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 Dpico_6lowpan_ll.h85 int (* poll)(struct pico_device *dev, int loop_score));
H A Dpico_tcp.h89 int pico_tcp_output(struct pico_socket *s, int loop_score);
H A Dpico_dev_tap_windows.c1010 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 Dpico_6lowpan_ll.c376 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 Dpico_dev_ppp.c2024 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 Dpico_tcp.c2917 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 Dpico_protocol.h87 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 Dpico_device.h32 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 Dpico_socket.h246 int pico_sockets_loop(int loop_score);
/seL4-camkes-master/projects/global-components/components/PicoServer/src/
H A Deth_interface.c58 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 Dethdriver.c131 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 Dpico_dev_eth.c244 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 Dclient.c136 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;

Completed in 140 milliseconds