Searched refs:tx_badge (Results 1 - 4 of 4) sorted by path
| /seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/ |
| H A D | echo.c | 100 seL4_Word tx_badge; local
104 NULL, &tx_badge);
117 single_threaded_component_register_handler(tx_badge, "async_notification", async_event, NULL);
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/ |
| H A D | client.c | 209 seL4_Word tx_badge; local
213 NULL, &tx_badge);
261 register_handler(tx_badge, "ethernet_event_handler", irq_from_ethernet, data);
|
| H A D | server.c | 213 seL4_Word tx_badge; local
218 NULL, &tx_badge);
229 error = register_handler(tx_badge, "tx_event", virt_queue_handle_irq, data);
|
| /seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/ |
| H A D | server.c | 847 seL4_Word tx_badge; local
866 NULL, &tx_badge);
876 error = callback_handler(tx_badge, "client_event_handler", tx_queue_handle_irq, NULL);
|
Completed in 55 milliseconds