Constant sel4_common::fault::seL4_CapFault_InRecvPhase

pub const seL4_CapFault_InRecvPhase: usize = 2;