Constant sel4_config::consts::EXPORT_PTMR_USER

pub const EXPORT_PTMR_USER: bool = true;