669 	u32 value = 0;  in acpi_processor_get_throttling_fadt()  local
722 static int acpi_throttling_rdmsr(u64 *value)  in acpi_throttling_rdmsr()
744 static int acpi_throttling_wrmsr(u64 value)  in acpi_throttling_wrmsr()
762 static int acpi_throttling_rdmsr(u64 *value)  in acpi_throttling_rdmsr()
769 static int acpi_throttling_wrmsr(u64 value)  in acpi_throttling_wrmsr()
778 					u64 *value)  in acpi_read_throttling_status()
810 				u64 value)  in acpi_write_throttling_state()
843 				u64 value)  in acpi_get_throttling_state()
858 			int state, u64 *value)  in acpi_get_throttling_value()
876 	u64 value;  in acpi_processor_get_throttling_ptc()  local
969 	u32 value = 0;  in acpi_processor_set_throttling_fadt()  local
1043 	u64 value;  in acpi_processor_set_throttling_ptc()  local