194 	const struct counter_xec_config *counter_cfg = COUNTER_XEC_CONFIG(dev);  in counter_xec_set_top_value()  local
203 	if (cfg->ticks > counter_cfg->info.max_top_value) {  in counter_xec_set_top_value()
248 	const struct counter_xec_config *counter_cfg = COUNTER_XEC_CONFIG(dev);  in counter_xec_isr()  local
256 	mchp_soc_ecia_girq_src_clr(counter_cfg->girq_id, counter_cfg->girq_bit);  in counter_xec_isr()
258 	MCHP_GIRQ_SRC(counter_cfg->girq_id) = BIT(counter_cfg->girq_bit);  in counter_xec_isr()
291 	const struct counter_xec_config *counter_cfg = COUNTER_XEC_CONFIG(dev);  in counter_xec_init()  local
296 	counter->CTRL |= (counter_cfg->prescaler << MCHP_BTMR_CTRL_PRESCALE_POS) &  in counter_xec_init()
300 	counter->PRLD = counter_cfg->info.max_top_value;  in counter_xec_init()
301 	counter->CNT = counter_cfg->info.max_top_value;  in counter_xec_init()
304 	mchp_soc_ecia_girq_src_en(counter_cfg->girq_id, counter_cfg->girq_bit);  in counter_xec_init()
306 	MCHP_GIRQ_ENSET(counter_cfg->girq_id) = BIT(counter_cfg->girq_bit);  in counter_xec_init()
309 	counter_cfg->config_func();  in counter_xec_init()