xge_hal_device_poll_tx_channel
(void) xge_hal_device_poll_tx_channel(channel, &got_tx);
xge_hal_device_poll_tx_channel(xge_hal_channel_t *channel, int *got_tx);
(void) xge_hal_device_poll_tx_channel(channel, got_tx);