Constant sel4_config::consts::VTIMER_UPDATE_VOFFSET

pub const VTIMER_UPDATE_VOFFSET: bool = false;