| 2103 | } |
| 2104 | |
| 2105 | void |
| 2106 | vm_inject_fault(void *vmarg, int vcpuid, int vector, int errcode_valid, |
| 2107 | int errcode) |
| 2108 | { |
| 2109 | struct vm *vm; |
| 2110 | int error, restart_instruction; |
| 2111 | |
| 2112 | vm = vmarg; |
| 2113 | restart_instruction = 1; |
| 2114 | |
| 2115 | error = vm_inject_exception(vm, vcpuid, vector, errcode_valid, |
| 2116 | errcode, restart_instruction); |
| 2117 | KASSERT(error == 0, ("vm_inject_exception error %d", error)); |
| 2118 | } |
| 2119 | |
| 2120 | void |
| 2121 | vm_inject_pf(void *vmarg, int vcpuid, int error_code, uint64_t cr2) |
no test coverage detected