msr_high 712 drivers/acpi/processor_throttling.c u64 msr_high, msr_low; msr_high 722 drivers/acpi/processor_throttling.c msr_high = 0; msr_high 724 drivers/acpi/processor_throttling.c (u32 *)&msr_low , (u32 *) &msr_high); msr_high 725 drivers/acpi/processor_throttling.c msr = (msr_high << 32) | msr_low;