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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dioports.h119 * @function vm_enable_passthrough_ioport(vcpu, port_start, port_end)
126 int vm_enable_passthrough_ioport(vm_vcpu_t *vcpu, uint16_t port_start, uint16_t port_end);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/drivers/
H A Dvmm_pci_helper.c55 int error = vm_enable_passthrough_ioport(vm->vcpus[BOOT_VCPU], cfg->base_addr[i], cfg->base_addr[i] + size - 1);
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/
H A Dioports.c100 int vm_enable_passthrough_ioport(vm_vcpu_t *vcpu, uint16_t port_start, uint16_t port_end) function

Completed in 33 milliseconds