Constant seL4_CapFault_InRecvPhase 

pub const seL4_CapFault_InRecvPhase: Type = 2;