/* Set DMA destination address used by a HDMA channel.  */
void DMA_SetDestinationAddr(unsigned char channel, unsigned int address)
/* Set DMA destination address used by a HDMA channel.  */
void DMA_SetDestinationAddr(unsigned char channel, unsigned int address)
{
    ASSERT(channel < DMA_CHANNEL_NUM, "this channel does not exist");
    AT91C_BASE_HDMA->HDMA_CH[channel].HDMA_DADDR = address;
}