const VCPUFREQ_SET_PERF: u32 = 0x4;