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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c140 struct device *event_bar = calloc(1, sizeof(struct device)); local
141 if (!event_bar) {
145 event_bar->pstart = event_bar_address;
146 event_bar->priv = (void *)info;
149 handle_event_bar_fault, event_bar);

Completed in 25 milliseconds