verbose_header     84 arch/i386/pci/pci_addr_fixup.c 	const char *verbose_header = 
verbose_header    115 arch/i386/pci/pci_addr_fixup.c 	PCIBIOS_PRINTV((verbose_header, "System BIOS Setting"));
verbose_header    145 arch/i386/pci/pci_addr_fixup.c 	PCIBIOS_PRINTV((verbose_header, "PCIBIOS fixup stage"));