Searched refs:port_start (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 100 int vm_enable_passthrough_ioport(vm_vcpu_t *vcpu, uint16_t port_start, uint16_t port_end) argument 104 ZF_LOGD("Enabling IO port 0x%x - 0x%x for passthrough", port_start, port_end); 110 error = simple_get_IOPort_cap(vcpu->vm->simple, port_start, port_end, path.root, path.capPtr, path.capDepth); 112 ZF_LOGE("Failed to get io port from simple for range 0x%x - 0x%x", port_start, port_end); 115 error = seL4_X86_VCPU_EnableIOPort(vcpu->vcpu.cptr, path.capPtr, port_start, port_end);
|
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
H A D | ioports.h | 119 * @function vm_enable_passthrough_ioport(vcpu, port_start, port_end) 122 * @param {uint16_t} port_start Base address of ioport 126 int vm_enable_passthrough_ioport(vm_vcpu_t *vcpu, uint16_t port_start, uint16_t port_end);
|
Completed in 33 milliseconds