Constant seL4_MaxBreakpointAccess 

pub const seL4_MaxBreakpointAccess: Type = 3;