645 	u32 value = 0;  in acpi_processor_get_throttling_fadt()  local
698 static int acpi_throttling_rdmsr(u64 *value)  in acpi_throttling_rdmsr()
719 static int acpi_throttling_wrmsr(u64 value)  in acpi_throttling_wrmsr()
736 static int acpi_throttling_rdmsr(u64 *value)  in acpi_throttling_rdmsr()
742 static int acpi_throttling_wrmsr(u64 value)  in acpi_throttling_wrmsr()
750 					u64 *value)  in acpi_read_throttling_status()
782 				u64 value)  in acpi_write_throttling_state()
815 				u64 value)  in acpi_get_throttling_state()
830 			int state, u64 *value)  in acpi_get_throttling_value()
848 	u64 value;  in acpi_processor_get_throttling_ptc()  local
941 	u32 value = 0;  in acpi_processor_set_throttling_fadt()  local
1015 	u64 value;  in acpi_processor_set_throttling_ptc()  local