devices::virtcpufreq_v2

Constant VCPUFREQ_SET_PERF

Source 
const VCPUFREQ_SET_PERF: u32 = 0x4;