ds3231_clk_32khz_control 1463 drivers/rtc/rtc-ds1307.c 	return ds3231_clk_32khz_control(ds1307, true);
ds3231_clk_32khz_control 1470 drivers/rtc/rtc-ds1307.c 	ds3231_clk_32khz_control(ds1307, false);