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);