VIRT_FREQ         110 drivers/cpufreq/arm_big_little.c 		rate = VIRT_FREQ(cur_cluster, rate);
VIRT_FREQ         293 drivers/cpufreq/arm_big_little.c 			table[k].frequency = VIRT_FREQ(i,
VIRT_FREQ         433 drivers/cpufreq/arm_big_little.c 	clk_little_max = VIRT_FREQ(1, get_table_max(freq_table[1]));