sel4_config::consts

Constant LIB_SEL4_FUNCTION_ATTRIBUTE

Source 
pub const LIB_SEL4_FUNCTION_ATTRIBUTE: &str = "inline";