Constant sel4_config::consts::LIB_SEL4_INLINE_INVOCATIONS

pub const LIB_SEL4_INLINE_INVOCATIONS: bool = true;