| 763 | } |
| 764 | |
| 765 | static __inline void |
| 766 | vm_inject_ss(void *vm, int vcpuid, int errcode) |
| 767 | { |
| 768 | vm_inject_fault(vm, vcpuid, IDT_SS, 1, errcode); |
| 769 | } |
| 770 | |
| 771 | void vm_inject_pf(void *vm, int vcpuid, int error_code, uint64_t cr2); |
| 772 |
no test coverage detected