Constant devices::virtcpufreq_v2::VCPUFREQ_FREQTBL_RD

const VCPUFREQ_FREQTBL_RD: u32 = 0x10;