657 	u32 value = 0;  in acpi_processor_get_throttling_fadt()  local
710 static int acpi_throttling_rdmsr(u64 *value)  in acpi_throttling_rdmsr()
732 static int acpi_throttling_wrmsr(u64 value)  in acpi_throttling_wrmsr()
750 static int acpi_throttling_rdmsr(u64 *value)  in acpi_throttling_rdmsr()
757 static int acpi_throttling_wrmsr(u64 value)  in acpi_throttling_wrmsr()
766 					u64 *value)  in acpi_read_throttling_status()
798 				u64 value)  in acpi_write_throttling_state()
831 				u64 value)  in acpi_get_throttling_state()
846 			int state, u64 *value)  in acpi_get_throttling_value()
864 	u64 value;  in acpi_processor_get_throttling_ptc()  local
957 	u32 value = 0;  in acpi_processor_set_throttling_fadt()  local
1031 	u64 value;  in acpi_processor_set_throttling_ptc()  local