vmm/intel/vmx_msr.c

43 #include "vmx.h"
314 vmx_msr_guest_init(struct vmx *vmx, int vcpuid)
318 	guest_msrs = vmx->guest_msrs[vcpuid];
325 		guest_msr_rw(vmx, MSR_LSTAR);
326 		guest_msr_rw(vmx, MSR_CSTAR);
327 		guest_msr_rw(vmx, MSR_STAR);
328 		guest_msr_rw(vmx, MSR_SF_MASK);
329 		guest_msr_rw(vmx, MSR_KGSBASE);
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());