Constant seL4_Fault_UserException 

pub const seL4_Fault_UserException: u64 = 3;