Hello,

> >>>But NetBSD calls gc_enable_irq() _before_ calling the pending interrupt
> >>>handlers.
> >>
> > Yes, when processing pending interrupts it takes one, enables the
> >corresponding IRQ and then calls the handler(s).
> 
> How come it is different on openpic boxes, where the interrupt isn't
> enabled until _after_ the interrupt handlers have been called?

I don't have the faintest idea but it definitely looks intentional, so I left it in place.

have fun
Michael