K 10 svn:author V 6 marcel K 8 svn:date V 27 2011-02-02T05:58:51.944377Z K 7 svn:log V 139 Rename INTR_VEC to MAP_IRQ. From the OFW or FDT we obtain a PIC handle with interrupt pin. This we map to the resource called SYS_RES_IRQ. END