IBT_WRC_RECV_RDMAWI
type = IBT_WRC_RECV_RDMAWI;
case IBT_WRC_RECV_RDMAWI:
ASSERT(wc_type == IBT_WRC_RECV_RDMAWI);