5 extern void iSeries_init_IRQ(void);
6 extern int iSeries_allocate_IRQ(HvBusNumber
, HvSubBusNumber
, u32
);
7 extern void iSeries_activate_IRQs(void);
9 #define iSeries_init_IRQ NULL
11 extern unsigned int iSeries_get_irq(void);
13 #endif /* _ISERIES_IRQ_H */