AO_RTC_REG1_S_READY
while (!(RTC_READ(sc, AO_RTC_REG1) & AO_RTC_REG1_S_READY)) {
setbits(sc, AO_RTC_REG1, AO_RTC_REG1_S_READY);