Lines Matching refs:connections
12 * components on a seL4-based system. The module exports registered cross vm connections to a Linux VM such that
56 * @function cross_vm_connections_init_common(vm, connection_base_addr, connections, num_connections, pci, alloc_irq)
57 * Install a set of cross vm connections into a guest VM (for either x86 or ARM VM platforms)
61 * @param {crossvm_handle_t *} connections The set of crossvm connections to be initialised and installed in the guest
62 * @param {int} num_connection The number of connections passed in through the 'connections' parameter
63 * @param {vmm_pci_space_t *} pci A handle to the VM's host PCI device. The connections are advertised through the
65 * @param {alloc_free_interrupt_fn} alloc_irq A function that is used to allocated an irq number for the crossvm connections
68 int cross_vm_connections_init_common(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections,