Searched refs:event_dispatch (Results 1 - 25 of 129) sorted by relevance
123456
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | flounder_glue_binding.c | 21 errval_t err = event_dispatch(get_default_waitset());
23 USER_PANIC_ERR(err, "error in event_dispatch for messages_wait_and_handle_next hack");
|
| /barrelfish-2018-10-04/usr/drivers/e1000/ |
| H A D | main.c | 39 err = event_dispatch(get_default_waitset());
41 USER_PANIC_ERR(err, "error in event_dispatch for messages_wait_and_handle_next hack");
|
| /barrelfish-2018-10-04/usr/drivers/solarflare/ |
| H A D | main.c | 58 err = event_dispatch(get_default_waitset());
60 USER_PANIC_ERR(err, "error in event_dispatch for messages_wait_and_handle_next hack");
|
| /barrelfish-2018-10-04/usr/tests/wakeuptests/ |
| H A D | wakeuptest.c | 29 err = event_dispatch(get_default_waitset());
|
| /barrelfish-2018-10-04/usr/bench/bulk_transfer/ |
| H A D | micro_echo.c | 56 event_dispatch(txc.waitset);
64 event_dispatch(txc.waitset); //wait until pool is assigned
83 event_dispatch(txc.waitset); //wait until pool is assigned
152 event_dispatch(rxc.waitset);
157 event_dispatch(txc.waitset);
198 event_dispatch(ws);
203 event_dispatch(ws);
|
| H A D | micro_rtt.c | 123 while (!wait_flag) event_dispatch(rxc.waitset);
145 while (!wait_flag) event_dispatch(txc.waitset);
147 while(wait_no_copy) event_dispatch(rxc.waitset);
162 event_dispatch(rxc.waitset);
206 event_dispatch(ws);
210 event_dispatch(ws);
|
| H A D | micro_throughput.c | 128 event_dispatch(rxc.waitset);
182 event_dispatch(rxc.waitset);
226 event_dispatch(ws);
232 event_dispatch(ws);
|
| /barrelfish-2018-10-04/usr/drivers/domain/ |
| H A D | main.c | 69 err = event_dispatch(get_default_waitset());
71 USER_PANIC_ERR(err, "error in event_dispatch for messages_wait_and_handle_next hack");
|
| /barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/ |
| H A D | test_wq.c | 16 err = event_dispatch(ws);
18 DEBUG_ERR(err, "in event_dispatch");
|
| /barrelfish-2018-10-04/lib/net/test/ |
| H A D | arp.c | 55 event_dispatch(get_default_waitset());
103 event_dispatch(get_default_waitset());
|
| H A D | dhcp.c | 57 event_dispatch(get_default_waitset());
99 event_dispatch(get_default_waitset());
|
| /barrelfish-2018-10-04/usr/tests/net_tests/udp_throughput/ |
| H A D | udp_test.c | 65 r = event_dispatch(ws);
67 DEBUG_ERR(r, "in event_dispatch");
83 r = event_dispatch(ws);
85 DEBUG_ERR(r, "in event_dispatch");
145 r = event_dispatch(ws);
147 DEBUG_ERR(r, "in event_dispatch");
193 r = event_dispatch(ws);
195 DEBUG_ERR(r, "in event_dispatch");
299 r = event_dispatch(ws);
301 DEBUG_ERR(r, "in event_dispatch");
[all...] |
| /barrelfish-2018-10-04/usr/bench/bulk_bench/ |
| H A D | bulkbench.c | 175 event_dispatch(get_default_waitset());
193 event_dispatch(get_default_waitset());
243 event_dispatch(get_default_waitset());
256 event_dispatch(get_default_waitset());
269 event_dispatch(get_default_waitset());
284 /* event_dispatch(get_default_waitset()); */
|
| /barrelfish-2018-10-04/usr/bench/net_latency/elb/ |
| H A D | interface_app.c | 155 while (bufid_rx == -1ULL) { event_dispatch(ws); }
159 while (bufid_tx == -1ULL) { event_dispatch(ws); }
274 while (binding_rx == NULL) { event_dispatch(ws); }
278 while (binding_rx == NULL) { event_dispatch(ws); }
|
| /barrelfish-2018-10-04/usr/drivers/usb/usb_keyboard/ |
| H A D | usb_keyboard_service.c | 106 event_dispatch(get_default_waitset());
|
| /barrelfish-2018-10-04/usr/tests/net_tests/openport_test/ |
| H A D | net_openport_test.c | 29 err = event_dispatch(ws);
31 DEBUG_ERR(err, "in event_dispatch");
|
| /barrelfish-2018-10-04/usr/tests/tftpclient/ |
| H A D | main.c | 87 event_dispatch(get_default_waitset());
|
| /barrelfish-2018-10-04/usr/webserver/ |
| H A D | main.c | 79 err = event_dispatch(ws);
81 DEBUG_ERR(err, "in event_dispatch");
|
| /barrelfish-2018-10-04/lib/netd/ |
| H A D | ARP_lookup_service.c | 159 r = event_dispatch(ws);
161 DEBUG_ERR(r, "in event_dispatch");
216 err = event_dispatch(ws);
218 DEBUG_ERR(err, "in event_dispatch for init_ARP_service");
|
| /barrelfish-2018-10-04/lib/bomp_new/ |
| H A D | bomp.c | 132 event_dispatch(ws);
137 event_dispatch(ws);
|
| /barrelfish-2018-10-04/usr/bench/loopy/ |
| H A D | loopy_driver.c | 98 event_dispatch(get_default_waitset());
|
| /barrelfish-2018-10-04/usr/device_managers/net_gen_dev/ |
| H A D | NGD_mng.c | 37 err = event_dispatch(ws);
39 DEBUG_ERR(err, "in event_dispatch");
|
| /barrelfish-2018-10-04/include/barrelfish/ |
| H A D | waitset.h | 116 errval_t event_dispatch(struct waitset *ws);
|
| /barrelfish-2018-10-04/usr/monitor/ |
| H A D | octopus_client.c | 57 err = event_dispatch(get_default_waitset());
|
| /barrelfish-2018-10-04/usr/tests/net_tests/nfs_throughput/ |
| H A D | nfs_cat.c | 124 err = event_dispatch(ws);
126 DEBUG_ERR(err, "in event_dispatch");
|
Completed in 1111 milliseconds
123456