249           uint64_t tx_head, tx_tail, tx_state;  in ldc_send_vers()  local
253           err = hv_ldc_tx_get_state(lc->lc_id, &tx_head, &tx_tail, &tx_state);  in ldc_send_vers()
254           if (err != H_EOK || tx_state != LDC_CHANNEL_UP) {  in ldc_send_vers()
287           uint64_t tx_head, tx_tail, tx_state;  in ldc_send_ack()  local
291           err = hv_ldc_tx_get_state(lc->lc_id, &tx_head, &tx_tail, &tx_state);  in ldc_send_ack()
292           if (err != H_EOK || tx_state != LDC_CHANNEL_UP) {  in ldc_send_ack()
294 …                  printf("ldc_send_ack() err %d tx_state %lu\n", err, (long unsigned int)tx_state);  in ldc_send_ack()
325           uint64_t tx_head, tx_tail, tx_state;  in ldc_send_rts()  local
329           err = hv_ldc_tx_get_state(lc->lc_id, &tx_head, &tx_tail, &tx_state);  in ldc_send_rts()
330           if (err != H_EOK || tx_state != LDC_CHANNEL_UP) {  in ldc_send_rts()
332 …                  printf("ldc_send_rts() err %d tx_state %lu\n", err, (long unsigned int)tx_state);  in ldc_send_rts()
363           uint64_t tx_head, tx_tail, tx_state;  in ldc_send_rtr()  local
367           err = hv_ldc_tx_get_state(lc->lc_id, &tx_head, &tx_tail, &tx_state);  in ldc_send_rtr()
368           if (err != H_EOK || tx_state != LDC_CHANNEL_UP) {  in ldc_send_rtr()
370                     printf("ldc_send_rtr() err %d state %lu\n", err, (long unsigned int)tx_state);  in ldc_send_rtr()
401           uint64_t tx_head, tx_tail, tx_state;  in ldc_send_rdx()  local
405           err = hv_ldc_tx_get_state(lc->lc_id, &tx_head, &tx_tail, &tx_state);  in ldc_send_rdx()
406           if (err != H_EOK || tx_state != LDC_CHANNEL_UP) {  in ldc_send_rdx()
408                     printf("ldc_send_rdx() err %d state %lu\n", err, (long unsigned int)tx_state);  in ldc_send_rdx()
439           uint64_t tx_head, tx_tail, tx_state;  in ldc_send_unreliable()  local
445           err = hv_ldc_tx_get_state(lc->lc_id, &tx_head, &tx_tail, &tx_state);  in ldc_send_unreliable()
446           if (err != H_EOK || tx_state != LDC_CHANNEL_UP) {  in ldc_send_unreliable()
448 …             printf("ldc_send_unrealiable() err %d state %lu\n", err, (long unsigned int)tx_state);  in ldc_send_unreliable()