static int pba8_timer0_handler(u32 irq_no, vmm_user_regs_t * regs, void *dev) { realview_timer_event_clearirq(pba8_timer0_base); vmm_timer_clockevent_process(regs); return VMM_OK; }
static vmm_irq_return_t ca15x4_timer0_handler(u32 irq_no, arch_regs_t * regs, void *dev) { sp804_timer_event_clearirq(ca15x4_timer0_base); vmm_timer_clockevent_process(regs); return VMM_IRQ_HANDLED; }