Constant LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES 

pub const LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES: bool = false;