vmm/intel/vmx_msr.c

314 vmx_msr_guest_init(struct vmx *vmx, int vcpuid)
318 	guest_msrs = vmx->guest_msrs[vcpuid];
324 	if (vcpuid == 0) {
348 vmx_msr_guest_enter(struct vmx *vmx, int vcpuid)
350 	uint64_t *guest_msrs = vmx->guest_msrs[vcpuid];
362 vmx_msr_guest_exit(struct vmx *vmx, int vcpuid)
364 	uint64_t *guest_msrs = vmx->guest_msrs[vcpuid];
383 vmx_rdmsr(struct vmx *vmx, int vcpuid, u_int num, uint64_t *val, bool *retu)
388 	guest_msrs = vmx->guest_msrs[vcpuid];
424 vmx_wrmsr(struct vmx *vmx, int vcpuid, u_int num, uint64_t val, bool *retu)
430 	guest_msrs = vmx->guest_msrs[vcpuid];
438 		vm_inject_gp(vmx->vm, vcpuid);
469 			vm_inject_gp(vmx->vm, vcpuid);
472 		error = vmx_set_tsc_offset(vmx, vcpuid, val - rdtsc());