Searched refs:common_make_virtio_con (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | virtio_con.h | 37 * @function common_make_virtio_con(vm, pci, ioport, ioport_range, port_type, interrupt_pin, interrupt_lin, backend) 51 virtio_con_t *common_make_virtio_con(vm_t *vm,
|
/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, function
|
Completed in 41 milliseconds