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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/
H A Dcross_vm_connection.h25 typedef int (*alloc_free_interrupt_fn)(void); typedef
65 * @param {alloc_free_interrupt_fn} alloc_irq A function that is used to allocated an irq number for the crossvm connections
69 int num_connections, vmm_pci_space_t *pci, alloc_free_interrupt_fn alloc_irq);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/
H A Dcross_vm_connection.c302 int num_connections, vmm_pci_space_t *pci, alloc_free_interrupt_fn alloc_irq)

Completed in 80 milliseconds