tag	line	file	source code
ibc_pcicon	343	arch/ppc/kernel/irq.c	unsigned char *ibc_pcicon = (unsigned char *)0x80800840;
ibc_pcicon	372	arch/ppc/kernel/irq.c	*ibc_pcicon |= 0x20;