sel4_config::consts

Constant VTIMER_UPDATE_VOFFSET

Source
pub const VTIMER_UPDATE_VOFFSET: bool = true;