Lines Matching refs:rdmsr
240 SDT_PROBE_DEFINE4(vmm, vmx, exit, rdmsr,
403 return "rdmsr";
634 feature_control = rdmsr(MSR_IA32_FEATURE_CONTROL);
676 feature_control = rdmsr(MSR_IA32_FEATURE_CONTROL);
687 basic = rdmsr(MSR_VMX_BASIC);
951 fixed0 = rdmsr(MSR_VMX_CR0_FIXED0);
952 fixed1 = rdmsr(MSR_VMX_CR0_FIXED1);
968 fixed0 = rdmsr(MSR_VMX_CR4_FIXED0);
969 fixed1 = rdmsr(MSR_VMX_CR4_FIXED1);
2528 VMX_CTR1(vcpu, "rdmsr 0x%08x", ecx);
2529 SDT_PROBE4(vmm, vmx, exit, rdmsr, vmx, vcpuid, vmexit, ecx);
2939 vmxctx->host_debugctl = rdmsr(MSR_DEBUGCTLMSR);