__hal_channel_terminate
void __hal_channel_terminate(xge_hal_channel_h channelh);
__hal_channel_terminate(channelh);