RDMA_CM_EVENT_DISCONNECTED
} else if (event == RDMA_CM_EVENT_DISCONNECTED) {
if (event == RDMA_CM_EVENT_DISCONNECTED) {
*event = RDMA_CM_EVENT_DISCONNECTED;
} else if (eventp->event == RDMA_CM_EVENT_DISCONNECTED ||
eventp->event == RDMA_CM_EVENT_DISCONNECTED) {
case RDMA_CM_EVENT_DISCONNECTED: