tag	line	file	source code
PCI_base	801	arch/ppc/kernel/raw_printf.c	unsigned long *PCI_base = (unsigned long *)0x80808010;  /* Magic */
PCI_base	803	arch/ppc/kernel/raw_printf.c	if (*PCI_base)