vmm/intel/vmx_msr.c

323 	uint64_t *guest_msrs;
325 	guest_msrs = vmx->guest_msrs[vcpuid];
342 	guest_msrs[IDX_MSR_PAT] = PAT_VALUE(0, PAT_WRITE_BACK) |
357 	uint64_t *guest_msrs = vmx->guest_msrs[vcpuid];
360 	wrmsr(MSR_LSTAR, guest_msrs[IDX_MSR_LSTAR]);
361 	wrmsr(MSR_CSTAR, guest_msrs[IDX_MSR_CSTAR]);
362 	wrmsr(MSR_STAR, guest_msrs[IDX_MSR_STAR]);
363 	wrmsr(MSR_SF_MASK, guest_msrs[IDX_MSR_SF_MASK]);
364 	wrmsr(MSR_KGSBASE, guest_msrs[IDX_MSR_KGSBASE]);
370 	uint64_t *guest_msrs = vmx->guest_msrs[vcpuid];
373 	guest_msrs[IDX_MSR_LSTAR] = rdmsr(MSR_LSTAR);
374 	guest_msrs[IDX_MSR_CSTAR] = rdmsr(MSR_CSTAR);
375 	guest_msrs[IDX_MSR_STAR] = rdmsr(MSR_STAR);
376 	guest_msrs[IDX_MSR_SF_MASK] = rdmsr(MSR_SF_MASK);
377 	guest_msrs[IDX_MSR_KGSBASE] = rdmsr(MSR_KGSBASE);
391 	const uint64_t *guest_msrs;
394 	guest_msrs = vmx->guest_msrs[vcpuid];
420 		*val = guest_msrs[IDX_MSR_PAT];
432 	uint64_t *guest_msrs;
436 	guest_msrs = vmx->guest_msrs[vcpuid];
473 			guest_msrs[IDX_MSR_PAT] = val;