Ejemplo n.º 1
0
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;
}
Ejemplo n.º 2
0
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;
}