RTC_REF_CLCK_32KHZ
sel = RTC_REF_CLCK_32KHZ + 6;
sel = RTC_REF_CLCK_32KHZ + __builtin_ffs(32768 / CONFIG_HZ);
CMOS_WRITE(RTC_REF_CLCK_32KHZ, RTC_REG_A);
if ((CMOS_READ(RTC_REG_A) & 0x7f) == RTC_REF_CLCK_32KHZ &&
CMOS_WRITE(RTC_REF_CLCK_32KHZ | rate, RTC_REG_A);
if ((freq & RTC_DIV_CTL) != RTC_REF_CLCK_32KHZ)
CMOS_WRITE(RTC_REF_CLCK_32KHZ, RTC_FREQ_SELECT);
CMOS_WRITE(RTC_REF_CLCK_32KHZ | 0x06, RTC_FREQ_SELECT);