1#ifndef	_ISERIES_IRQ_H
 2#define	_ISERIES_IRQ_H
 3
 4#ifdef CONFIG_PCI
 5extern void iSeries_init_IRQ(void);
 6extern int  iSeries_allocate_IRQ(HvBusNumber, HvSubBusNumber, u32);
 7extern void iSeries_activate_IRQs(void);
 8#else
 9#define iSeries_init_IRQ	NULL
10#endif
11extern unsigned int iSeries_get_irq(void);
12
13#endif /* _ISERIES_IRQ_H */