Searched refs:rx_badge (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/
H A Decho.c101 seL4_Word rx_badge; local
111 NULL, &rx_badge);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-ethernet-async/
H A Dserver.c214 seL4_Word rx_badge; local
224 NULL, &rx_badge);
233 error = register_handler(rx_badge, "rx_event", virt_queue_handle_irq, data);
H A Dclient.c210 seL4_Word rx_badge; local
220 NULL, &rx_badge);
/seL4-camkes-master/projects/global-components/remote-drivers/picotcp-socket-sync/server/
H A Dserver.c848 seL4_Word rx_badge; local
872 NULL, &rx_badge);

Completed in 89 milliseconds