| 2894 | } |
| 2895 | |
| 2896 | int |
| 2897 | vm_set_tsc_offset(struct vm *vm, int vcpuid, uint64_t offset) |
| 2898 | { |
| 2899 | struct vcpu *vcpu; |
| 2900 | |
| 2901 | if (vcpuid < 0 || vcpuid >= VM_MAXCPU) |
| 2902 | return (EINVAL); |
| 2903 | |
| 2904 | vcpu = &vm->vcpu[vcpuid]; |
| 2905 | vcpu->tsc_offset = offset; |
| 2906 | |
| 2907 | return (0); |
| 2908 | } |
| 2909 | |
| 2910 | int |
| 2911 | vm_restore_time(struct vm *vm) |
no outgoing calls
no test coverage detected