Home
last modified time | relevance | path

Searched refs:msr_high (Results 1 – 2 of 2) sorted by relevance

/linux-4.1.27/drivers/acpi/
Dprocessor_throttling.c719 u64 msr_high, msr_low; in acpi_throttling_rdmsr() local
729 msr_high = 0; in acpi_throttling_rdmsr()
731 (u32 *)&msr_low , (u32 *) &msr_high); in acpi_throttling_rdmsr()
732 msr = (msr_high << 32) | msr_low; in acpi_throttling_rdmsr()
/linux-4.1.27/arch/x86/kvm/
Dvmx.c4689 u32 msr_low, msr_high; in vmx_vcpu_setup() local
4691 rdmsr(MSR_IA32_CR_PAT, msr_low, msr_high); in vmx_vcpu_setup()
4692 host_pat = msr_low | ((u64) msr_high << 32); in vmx_vcpu_setup()