sel4_config::consts

Constant LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES

Source
pub const LIB_SEL4_DEFAULT_FUNCTION_ATTRIBUTES: bool = false;