> > Last time I checked, the IOMD IRQ handler completely ignored those fields,
> > which is why podulebus_irq_establish() doesn't bother filling them in.  My
> > recommendation would thus be to do the same unless you have a good reason
> > to do otherwise (in which case, I want to know about it).
> 
> They look to be used in poduleirqhandler, but only if something has gone 
> really wrong with the IRQ handling.  This is why I asked, as I noted that 
> some drivers don't set them any more. (eg the dev/podbus/if_ie.c doesn't, 
> while the arm32 one does)

Hmm, I wonder if that explains why I get panics with the new if_ie (aka if_ei) driver in dev/podulebus...

R.