devices::virtcpufreq_v2

Constant VCPUFREQ_FREQTBL_SEL

Source 
const VCPUFREQ_FREQTBL_SEL: u32 = 0xc;