sel4_config::consts

Constant VTIMER_UPDATE_VOFFSET

Source 
pub const VTIMER_UPDATE_VOFFSET: bool = true;