TEGRA_CPUFREQ_MAX
static char tegra_cpufreq_available[TEGRA_CPUFREQ_MAX * 5];
u_int availfreq[TEGRA_CPUFREQ_MAX];
nfreq = cpufreq_get_available(availfreq, TEGRA_CPUFREQ_MAX);
KASSERT(nfreq <= TEGRA_CPUFREQ_MAX);