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

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dcross_vm_connection.h22 typedef void (*event_callback_fn)(void *arg); typedef
24 typedef int (*consume_callback_fn)(event_callback_fn, void *arg);

Completed in 20 milliseconds