Dan Hecht wrote:

Are you saying you would prefer we create our own irq handler
something like this rather than using the standard i386 handlers?

irqreturn_t vmi_timer_interrupt(int irq, void *dev_id)
{
   local_event->event_handler(local_event);
   return IRQ_HANDLED;
}

??  That's fine with me.

It does make the code self-contained.

    J