sel4_config::consts

Constant EXPORT_PCNT_USER

Source
pub const EXPORT_PCNT_USER: bool = false;