tag	line	file	source code
vme2pci_ic	341	arch/ppc/kernel/irq.c	unsigned char *vme2pci_ic = (unsigned char *)0x80802050;
vme2pci_ic	365	arch/ppc/kernel/irq.c	*vme2pci_ic |= 0x08;