Constant sel4_config::consts::EXPORT_VTMR_USER

pub const EXPORT_VTMR_USER: bool = false;