Constant devices::virtcpufreq_v2::TIMER_OVERHEAD_US

const TIMER_OVERHEAD_US: u32 = 15;