devices::virtcpufreq_v2

Constant TIMER_OVERHEAD_US

Source 
const TIMER_OVERHEAD_US: u32 = 15;