Symbol: hxge_map_txdma_channel