devices::virtcpufreq_v2

Constant VCPUFREQ_FREQTBL_RD

Source 
const VCPUFREQ_FREQTBL_RD: u32 = 0x10;