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

/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c40 crossvm_handle_t connection; member in struct:connection_info
121 if (!info->connection.emit_fn) {
124 info->connection.emit_fn();
221 /* Search for a connection with a matching badge */
223 if (info[i].connection.consume_id == event_id) {
241 ZF_LOGE("Failed to inject connection irq");
247 static int register_consume_event(vm_t *vm, crossvm_handle_t *connection, struct connection_info *conn_info) argument
249 if (connection->consume_id != -1 && conn_info->connection_irq > 0) {
250 /* Register an irq for the crossvm connection */
289 info[i].connection
[all...]

Completed in 75 milliseconds