152 static void show_counter(const struct device *ds3231)  in show_counter()  argument
156 	printk("\nCounter at %p\n", ds3231);  in show_counter()
158 	       counter_get_max_top_value(ds3231),  in show_counter()
159 	       counter_get_max_top_value(ds3231));  in show_counter()
160 	printk("\t%u channels\n", counter_get_num_of_channels(ds3231));  in show_counter()
161 	printk("\t%u Hz\n", counter_get_frequency(ds3231));  in show_counter()
164 	       counter_get_top_value(ds3231),  in show_counter()
165 	       counter_get_top_value(ds3231));  in show_counter()
167 	(void)counter_get_value(ds3231, &now);  in show_counter()
179 static void set_aligned_clock(const struct device *ds3231)  in set_aligned_clock()  argument
185 	uint32_t syncclock_Hz = maxim_ds3231_syncclock_frequency(ds3231);  in set_aligned_clock()
186 	uint32_t syncclock = maxim_ds3231_read_syncclock(ds3231);  in set_aligned_clock()
188 	int rc = counter_get_value(ds3231, &now);  in set_aligned_clock()
210 	rc = maxim_ds3231_set(ds3231, &sp, &notify);  in set_aligned_clock()
224 	rc = maxim_ds3231_get_syncpoint(ds3231, &sp);  in set_aligned_clock()
232 	const struct device *const ds3231 = DEVICE_DT_GET_ONE(maxim_ds3231);  in main()  local
234 	if (!device_is_ready(ds3231)) {  in main()
235 		printk("%s: device not ready.\n", ds3231->name);  in main()
239 	uint32_t syncclock_Hz = maxim_ds3231_syncclock_frequency(ds3231);  in main()
243 	int rc = maxim_ds3231_stat_update(ds3231, 0, MAXIM_DS3231_REG_STAT_OSF);  in main()
254 	show_counter(ds3231);  in main()
258 	       maxim_ds3231_ctrl_update(ds3231, 0, 0),  in main()
259 	       maxim_ds3231_stat_update(ds3231, 0, 0));  in main()
262 	set_aligned_clock(ds3231);  in main()
276 	rc = maxim_ds3231_synchronize(ds3231, &notify);  in main()
287 	rc = maxim_ds3231_get_syncpoint(ds3231, &sp);  in main()
292 	rc = maxim_ds3231_get_alarm(ds3231, 0, &sec_alarm);  in main()
295 	rc = maxim_ds3231_get_alarm(ds3231, 1, &min_alarm);  in main()
320 	rc = maxim_ds3231_set_alarm(ds3231, 0, &sec_alarm);  in main()
324 	rc = maxim_ds3231_set_alarm(ds3231, 1, &min_alarm);  in main()
329 	       maxim_ds3231_get_alarm(ds3231, 0, &sec_alarm),  in main()
330 	       maxim_ds3231_get_alarm(ds3231, 1, &min_alarm));  in main()