# CONFIG_CPUFREQ_VIRT is not set
