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 */