devices::virtcpufreq_v2

Constant MIN_TIMER_US

Source 
const MIN_TIMER_US: u32 = 75;