Symbol: acpi_pm_need_workaround
drivers/clocksource/acpi_pm.c
147
acpi_pm_need_workaround();
drivers/clocksource/acpi_pm.c
162
acpi_pm_need_workaround();