tag	line	file	source code
ibc_pirq	342	arch/ppc/kernel/irq.c	unsigned char *ibc_pirq = (unsigned char *)0x80800860;
ibc_pirq	367	arch/ppc/kernel/irq.c	ibc_pirq[0] = 0x0A;  /* PIRQ0 -> ISA10 */
ibc_pirq	368	arch/ppc/kernel/irq.c	ibc_pirq[1] = 0x0B;  /* PIRQ1 -> ISA11 */
ibc_pirq	369	arch/ppc/kernel/irq.c	ibc_pirq[2] = 0x0E;  /* PIRQ2 -> ISA14 */
ibc_pirq	370	arch/ppc/kernel/irq.c	ibc_pirq[3] = 0x0F;  /* PIRQ3 -> ISA15 */