Constant sel4_sys::seL4_Error::seL4_AlignmentError

pub const seL4_AlignmentError: Type = 5;