Searched defs:pci (Results 1 - 5 of 5) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | virtio_con.c | 89 virtio_con_t *common_make_virtio_con(vm_t *vm, vmm_pci_space_t *pci, vmm_io_port_list_t *ioport, argument
|
H A D | virtio_net.c | 168 virtio_net_t *common_make_virtio_net(vm_t *vm, vmm_pci_space_t *pci, vmm_io_port_list_t *ioport, argument
|
H A D | cross_vm_connection.c | 54 static int construct_connection_bar(vm_t *vm, struct connection_info *info, int num_connections, vmm_pci_space_t *pci) argument 301 cross_vm_connections_init_common(vm_t *vm, uintptr_t connection_base_addr, crossvm_handle_t *connections, int num_connections, vmm_pci_space_t *pci, alloc_free_interrupt_fn alloc_irq) argument
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/arm/devices/ |
H A D | vpci.c | 71 vmm_pci_space_t *pci; member in struct:pci_cfg_data 122 vmm_pci_space_t *pci = cfg_data->pci; local 192 vm_install_vpci(vm_t *vm, vmm_io_port_list_t *io_port, vmm_pci_space_t *pci) argument 238 fdt_generate_vpci_node(vm_t *vm, vmm_pci_space_t *pci, void *fdt, int gic_phandle) argument [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/arch_include/x86/sel4vmmplatsupport/arch/ |
H A D | guest_boot_info.h | 185 } __attribute__((packed)) pci; member in union:edd_device_params::__anon48
|
Completed in 123 milliseconds