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

/seL4-camkes-master/projects/camkes/apps/picotcp_tcp_echo/components/Echo/src/
H A Decho.c62 static void async_event(UNUSED seL4_Word badge, void *cookie) function
117 single_threaded_component_register_handler(tx_badge, "async_notification", async_event, NULL);

Completed in 71 milliseconds