/* Gets the TCC module capture value. 
Retrieves the capture value in the indicated TCC module capture channel. */
uint32_t tcc_get_capture_value(const struct tcc_module *const module_inst, const enum tcc_match_capture_channel channel_index)
/* Gets the TCC module capture value. 
Retrieves the capture value in the indicated TCC module capture channel. */
uint32_t tcc_get_capture_value(const struct tcc_module *const module_inst, const enum tcc_match_capture_channel channel_index)
{
	Assert(module_inst);
	Assert(module_inst->hw);
	Assert(channel_index < _tcc_cc_nums[_tcc_get_inst_index(module_inst->hw)]);
	Tcc *const tcc_module = module_inst->hw;
	while(tcc_module->SYNCBUSY.reg  & (TCC_SYNCBUSY_CC0 << channel_index)) {
	}
	return tcc_module->CC[channel_index].reg;
}