IBNEX_HCA_LIST_INFO
IBNEX_HCA_LIST_INFO, 0, (void **)&info, &info_len)) != 0) {
case IBNEX_HCA_LIST_INFO:
