static void irq_dispatch_one(enum irq_number irq_num)
{
if (handlers[irq_num].handler)
handlers[irq_num].handler(irq_num, handlers[irq_num].opaque);
else
printf("Unhandled IRQ: %d\n", irq_num);
irq_acknowledge(irq_num);
}
void irq_handle(void)
{
/* Clear status bit. */
REG_VAL(KZM_EPIT_STAT_ADDR) = 0x1;
irq_acknowledge();
printf("EPIT time out...%d\n", count++);
}
void irq_mask_acknowledge(enum irq_number irq_num)
{
irq_disable(irq_num);
irq_acknowledge(irq_num);
}