/* Read the TC interrupt mask for the specified channel.  */
uint32_t tc_get_interrupt_mask(Tc *p_tc, uint32_t ul_channel)
/* Read the TC interrupt mask for the specified channel.  */
uint32_t tc_get_interrupt_mask(Tc *p_tc, uint32_t ul_channel)
{
	TcChannel *tc_channel;
	Assert(p_tc);
	Assert(ul_channel <
			(sizeof(p_tc->TC_CHANNEL) / sizeof(p_tc->TC_CHANNEL[0])));
	tc_channel = p_tc->TC_CHANNEL + ul_channel;
	return tc_channel->TC_IMR;
}