Constant sel4_config::consts::LIB_SEL4_FUNCTION_ATTRIBUTE

pub const LIB_SEL4_FUNCTION_ATTRIBUTE: &str = "inline";