const VCPUFREQ_FREQTBL_RD: u32 = 0x10;