Created attachment 845263 [details] acpi_cpufreq.dyndbg=+pf (dmesg | grep dyndbg) Contrary to the query in Comment 0, the following dyndbg query in the kernel command line works as expected: acpi_cpufreq.dyndbg=+pf