Constant devices::virtcpufreq_v2::MIN_TIMER_US

const MIN_TIMER_US: u32 = 75;