RTC_INTR
RTC_WRITE4(sc, RTC_INTR, 0);
RTC_WRITE4(rtc_sc, RTC_INTR, RTC_INTR_ALARM2);
rtcin_locked(RTC_INTR);
rtcin_locked(RTC_INTR);
rtcin_locked(RTC_INTR);
while (rtcin(RTC_INTR) & RTCIR_PERIOD) {
if (addr <= RTC_INTR && addr + len > RTC_INTR)
rtcin_locked(RTC_INTR);
vm_assert_irq(ctx, RTC_INTR);
vm_deassert_irq(ctx, RTC_INTR);
fdt_add_rtc(RTC_MMIO_BASE, RTC_MMIO_SIZE, RTC_INTR);