Constant devices::virtcpufreq_v2::VCPUFREQ_SET_PERF

const VCPUFREQ_SET_PERF: u32 = 0x4;