devices::virtcpufreq_v2

Constant VCPUFREQ_PERF_DOMAIN

Source 
const VCPUFREQ_PERF_DOMAIN: u32 = 0x14;