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 Dioports.c100 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 Dioports.h119 * @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