K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2008-02-12T18:14:46.000000Z
K 7
svn:log
V 226
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.

END