/* Callback used to read the counter value of the reference's oscillator.  */
int freq_detect_iface_ref_cnt_value(void)
/* Callback used to read the counter value of the reference's oscillator.  */
int freq_detect_iface_ref_cnt_value(void)
{
	return ast_get_counter_value(&AVR32_AST) * 2;
}