sel4_config::consts

Constant EXPORT_VTMR_USER

Source 
pub const EXPORT_VTMR_USER: bool = false;