Constant seL4_DebugException_ExceptionReason 

pub const seL4_DebugException_ExceptionReason: Type = 1;