Constant sel4_common::sel4_config::MessageID_Exception

pub const MessageID_Exception: usize = 1;