sel4_config::consts

Constant EXPORT_PTMR_USER

Source 
pub const EXPORT_PTMR_USER: bool = true;