321 vmx_msr_guest_init(struct vmx *vmx, int vcpuid)  in vmx_msr_guest_init()  argument
325 	guest_msrs = vmx->guest_msrs[vcpuid];  in vmx_msr_guest_init()
331 	if (vcpuid == 0) {  in vmx_msr_guest_init()
355 vmx_msr_guest_enter(struct vmx *vmx, int vcpuid)  in vmx_msr_guest_enter()  argument
357 	uint64_t *guest_msrs = vmx->guest_msrs[vcpuid];  in vmx_msr_guest_enter()
368 vmx_msr_guest_exit(struct vmx *vmx, int vcpuid)  in vmx_msr_guest_exit()  argument
370 	uint64_t *guest_msrs = vmx->guest_msrs[vcpuid];  in vmx_msr_guest_exit()
389 vmx_rdmsr(struct vmx *vmx, int vcpuid, u_int num, uint64_t *val, bool *retu)  in vmx_rdmsr()  argument
394 	guest_msrs = vmx->guest_msrs[vcpuid];  in vmx_rdmsr()
430 vmx_wrmsr(struct vmx *vmx, int vcpuid, u_int num, uint64_t val, bool *retu)  in vmx_wrmsr()  argument
436 	guest_msrs = vmx->guest_msrs[vcpuid];  in vmx_wrmsr()
444 		vm_inject_gp(vmx->vm, vcpuid);  in vmx_wrmsr()
475 			vm_inject_gp(vmx->vm, vcpuid);  in vmx_wrmsr()
478 		error = vmx_set_tsc_offset(vmx, vcpuid, val - rdtsc());  in vmx_wrmsr()