Constant devices::virtcpufreq_v2::TIMER_OVERHEAD_US

source · 
const TIMER_OVERHEAD_US: u32 = 15;