sel4_microkit_message

Constant UNSPECIFIED_ERROR_MESSAGE_LABEL

Source
pub const UNSPECIFIED_ERROR_MESSAGE_LABEL: MessageLabel = MAX_MESSAGE_LABEL; // 4_503_599_627_370_495u64