| 1674 | } |
| 1675 | |
| 1676 | void |
| 1677 | vm_exit_reqidle(struct vm *vm, int vcpuid, uint64_t rip) |
| 1678 | { |
| 1679 | struct vm_exit *vmexit; |
| 1680 | |
| 1681 | vmexit = vm_exitinfo(vm, vcpuid); |
| 1682 | vmexit->rip = rip; |
| 1683 | vmexit->inst_length = 0; |
| 1684 | vmexit->exitcode = VM_EXITCODE_REQIDLE; |
| 1685 | vmm_stat_incr(vm, vcpuid, VMEXIT_REQIDLE, 1); |
| 1686 | } |
| 1687 | |
| 1688 | void |
| 1689 | vm_exit_astpending(struct vm *vm, int vcpuid, uint64_t rip) |
no test coverage detected