VIRT_FREQ
VIRT_FREQ(i, freq_table[i][j].frequency);
clk_little_max = VIRT_FREQ(A7_CLUSTER,
rate = VIRT_FREQ(cur_cluster, rate);