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;