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