Constant devices::virtcpufreq_v2::VCPUFREQ_PERF_DOMAIN

source · 
const VCPUFREQ_PERF_DOMAIN: u32 = 0x14;