Constant sel4_config::consts::LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES

pub const LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES: bool = false;