init_rtc_irq
extern void init_rtc_irq(irq_handler_t handler);
init_rtc_irq(NULL);
init_rtc_irq(qemu_timer_interrupt);