Constant sel4_config::consts::EXPORT_PCNT_USER

pub const EXPORT_PCNT_USER: bool = true;