Constant devices::virtcpufreq_v2::VCPUFREQ_FREQTBL_SEL

const VCPUFREQ_FREQTBL_SEL: u32 = 0xc;