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

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dcross_vm_connection.h72 * @function consume_connection_event(vm, event_id, inject_irq)
76 * @param {seL4_Word} event_id The id that corresponds to the occuring event
79 void consume_connection_event(vm_t *vm, seL4_Word event_id, bool inject_irq);
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c218 void consume_connection_event(vm_t *vm, seL4_Word event_id, bool inject_irq) argument
223 if (info[i].connection.consume_id == event_id) {

Completed in 79 milliseconds