/* Write to TC Register A (RA) on the specified channel.  */
void tc_write_ra(Tc *p_tc, uint32_t ul_channel, uint32_t ul_value)
/* Write to TC Register A (RA) on the specified channel.  */
void tc_write_ra(Tc *p_tc, uint32_t ul_channel, uint32_t ul_value)
{
	Assert(p_tc);
	Assert(ul_channel <
			(sizeof(p_tc->TC_CHANNEL) / sizeof(p_tc->TC_CHANNEL[0])));
	p_tc->TC_CHANNEL[ul_channel].TC_RA = ul_value;
}