Constant LIB_SEL4_INLINE_INVOCATIONS 

pub const LIB_SEL4_INLINE_INVOCATIONS: bool = true;