int vmx_vmexit_resolve_io() { int rc = dev_access(); if(rc != VM_DONE) return rc; vmcs_read(vm_exit_info.insn_len); return emulate_done(VM_DONE, vm_exit_info.insn_len.raw); }
int svm_vmexit_resolve_io() { int rc = dev_access(); if(rc != VM_DONE) return rc; vm_state.rip.raw = vm_ctrls.exit_info_2.raw; return emulate_done(VM_DONE, 0); }