| 757 | } |
| 758 | |
| 759 | static __inline void |
| 760 | vm_inject_ac(void *vm, int vcpuid, int errcode) |
| 761 | { |
| 762 | vm_inject_fault(vm, vcpuid, IDT_AC, 1, errcode); |
| 763 | } |
| 764 | |
| 765 | static __inline void |
| 766 | vm_inject_ss(void *vm, int vcpuid, int errcode) |
no test coverage detected