Constant devices::virtcpufreq_v2::VCPUFREQ_PERF_DOMAIN

const VCPUFREQ_PERF_DOMAIN: u32 = 0x14;