marcel ab259d0a33 Add PIC support for IPIs. When registering an interrupt handler, ... the PIC also informs the platform at which IRQ level it can start assigning IPIs, since this can depend on the number of IRQs supported for external interrupts.		2008-02-12 18:14:46 +00:00
..
ata_iobus.c	ata_generic_hw takes a dev as a parameter, not a channel.	2005-11-11 09:36:38 +00:00
iobus.c	Apply missing s/rv/res/g in previous commit.	2007-12-21 00:23:23 +00:00
iobusvar.h
openpic_iobus.c	Add PIC support for IPIs. When registering an interrupt handler,	2008-02-12 18:14:46 +00:00
psim-tree
uart_iobus.c	Turn this into an uart(4) bus attachment.	2006-07-26 19:39:55 +00:00