ubuntu-linux-kernel/include/config/cpufreq/dt/platdev.h