Olivier Houchard e19357d3a5 On the AT91, we need to write on the EOI register after we handle an
interrupt. So, add a new function pointer, arm_post_filter, which defaults
to NULL, and which will be used as the post_filter arg for
intr_event_create(). Set it properly for the AT91, so that it boots again.

Reported by:	hps
2008-04-20 23:29:06 +00:00
..
2007-10-18 05:43:44 +00:00
2007-09-16 07:51:02 +00:00
2008-01-07 00:36:09 +00:00