IBT_WRC_RECV
type = IBT_WRC_RECV;
type = IBT_WRC_RECV;
type = IBT_WRC_RECV;
#define OP_RECEIVE IBT_WRC_RECV
ASSERT(wcp->wc_type == IBT_WRC_RECV);
type = IBT_WRC_RECV;
type = IBT_WRC_RECV;
type = IBT_WRC_RECV;
type = IBT_WRC_RECV;
case IBT_WRC_RECV:
case IBT_WRC_RECV: