Constant devices::virtcpufreq_v2::VCPUFREQ_FREQTBL_LEN

const VCPUFREQ_FREQTBL_LEN: u32 = 0x8;