| 2028 | } |
| 2029 | |
| 2030 | int |
| 2031 | vm_get_intinfo(struct vm *vm, int vcpuid, uint64_t *info1, uint64_t *info2) |
| 2032 | { |
| 2033 | struct vcpu *vcpu; |
| 2034 | |
| 2035 | if (vcpuid < 0 || vcpuid >= vm->maxcpus) |
| 2036 | return (EINVAL); |
| 2037 | |
| 2038 | vcpu = &vm->vcpu[vcpuid]; |
| 2039 | *info1 = vcpu->exitintinfo; |
| 2040 | *info2 = vcpu_exception_intinfo(vcpu); |
| 2041 | return (0); |
| 2042 | } |
| 2043 | |
| 2044 | int |
| 2045 | vm_inject_exception(struct vm *vm, int vcpuid, int vector, int errcode_valid, |
no test coverage detected