Constant seL4_DebugException_TriggerAddress 

pub const seL4_DebugException_TriggerAddress: Type = 2;