| 1969 | } |
| 1970 | |
| 1971 | static uint64_t |
| 1972 | vcpu_exception_intinfo(struct vcpu *vcpu) |
| 1973 | { |
| 1974 | uint64_t info = 0; |
| 1975 | |
| 1976 | if (vcpu->exception_pending) { |
| 1977 | info = vcpu->exc_vector & 0xff; |
| 1978 | info |= VM_INTINFO_VALID | VM_INTINFO_HWEXCEPTION; |
| 1979 | if (vcpu->exc_errcode_valid) { |
| 1980 | info |= VM_INTINFO_DEL_ERRCODE; |
| 1981 | info |= (uint64_t)vcpu->exc_errcode << 32; |
| 1982 | } |
| 1983 | } |
| 1984 | return (info); |
| 1985 | } |
| 1986 | |
| 1987 | int |
| 1988 | vm_entry_intinfo(struct vm *vm, int vcpuid, uint64_t *retinfo) |
no outgoing calls
no test coverage detected