64 static uint32_t r_agt_clock_frequency_get(agt_reg_ctrl_t *p_reg);
65 static fsp_err_t r_agt_common_preamble(agt_reg_ctrl_t *p_reg);
282 	agt_reg_ctrl_t *p_reg = r_agt_reg_ctrl_get(dev);  in counter_ra_agt_get_freq()  local
284 	r_agt_common_preamble(p_reg);  in counter_ra_agt_get_freq()
288 	info.clock_frequency = r_agt_clock_frequency_get(p_reg);  in counter_ra_agt_get_freq()
467 static uint32_t r_agt_clock_frequency_get(agt_reg_ctrl_t *p_reg)  in r_agt_clock_frequency_get()  argument
470 	uint8_t count_source_int = p_reg->AGTMR1_b.TCK;  in r_agt_clock_frequency_get()
492 		divider = (timer_source_div_t)p_reg->AGTMR2_b.CKS;  in r_agt_clock_frequency_get()
500 static fsp_err_t r_agt_common_preamble(agt_reg_ctrl_t *p_reg)  in r_agt_common_preamble()  argument
505 	uint32_t agtcr_tstart = p_reg->AGTCR_b.TSTART;  in r_agt_common_preamble()
507 	FSP_HARDWARE_REGISTER_WAIT(agtcr_tstart, p_reg->AGTCR_b.TCSTF);  in r_agt_common_preamble()