K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2012-01-31T18:48:54.086998Z
K 7
svn:log
V 430
Properly handle the multi-domain interrupt system found on pSeries
hardware by providing aliases for the XICP on all XICS nodes. This should
all the cross-routing working. Note that this involves the creation of
multiple interrupt domains with 24-bit ranges, meaning that some devices
will get extraordinarily high IRQs (in the 100000000 range) assigned to
them. Should MAP_IRQ start just returning vector numbers, like on Linux?

END