Constant LIB_SEL4_FUNCTION_ATTRIBUTE 

pub const LIB_SEL4_FUNCTION_ATTRIBUTE: &str = "inline";