sys/arch/i386/pci/pci_addr_fixup.c

112

PCIBIOS_PRINTV((verbose_header, "System BIOS Setting"));

sys/arch/i386/pci/pci_addr_fixup.c

115

PCIBIOS_PRINTV((verbose_footer, sc->nbogus));

sys/arch/i386/pci/pci_addr_fixup.c

136

PCIBIOS_PRINTV((" Physical memory end: 0x%08lx\n PCI memory mapped I/O "

sys/arch/i386/pci/pci_addr_fixup.c

142

PCIBIOS_PRINTV((verbose_header, "PCIBIOS fixup stage"));

sys/arch/i386/pci/pci_addr_fixup.c

145

PCIBIOS_PRINTV((verbose_footer, sc->nbogus));

sys/arch/i386/pci/pci_addr_fixup.c

249

PCIBIOS_PRINTV(("\t%02xh %s 0x%08x 0x%08x\n",

sys/arch/i386/pci/pci_addr_fixup.c

257

PCIBIOS_PRINTV(("\t\t[%s]\n", error ? "NG" : "OK"));

sys/arch/i386/pci/pci_addr_fixup.c

278

PCIBIOS_PRINTV(("No available resources. fixup failed\n"));

sys/arch/i386/pci/pci_addr_fixup.c

284

PCIBIOS_PRINTV(("No available resources. fixup failed\n"));

sys/arch/i386/pci/pci_addr_fixup.c

298

PCIBIOS_PRINTV(("fixup failed. (new address=%#lx)\n", *addr));

sys/arch/i386/pci/pci_addr_fixup.c

301

PCIBIOS_PRINTV(("new address 0x%08lx\n", *addr));

sys/arch/i386/pci/pci_addr_fixup.c

327

PCIBIOS_PRINTV(("Resource conflict.\n"));

sys/arch/i386/pci/pci_addr_fixup.c

354

PCIBIOS_PRINTV(("disabled %s space at addr 0x%lx size 0x%lx\n",

sys/arch/i386/pci/pci_addr_fixup.c

359

PCIBIOS_PRINTV(("Resource conflict.\n"));

sys/arch/i386/pci/pci_intr_fixup.c

284

PCIBIOS_PRINTV(("pciintr_link_alloc: bus %d device %d: "

sys/arch/i386/pci/pci_intr_fixup.c

301

PCIBIOS_PRINTV(("pciintr_link_alloc: "

sys/arch/i386/pci/pci_intr_fixup.c

400

PCIBIOS_PRINTV(("pciintr_link_init: "

sys/arch/i386/pci/pci_intr_fixup.c

666

PCIBIOS_PRINTV(("Interrupt not connected; no need to change."));

sys/arch/i386/pci/pcibios.c

153

PCIBIOS_PRINTV(("pcibiosprobe: 0x%hx:0x%x at 0x%x[0x%x]\n",

sys/arch/i386/pci/pcibios.c

178

PCIBIOS_PRINTV(("%s: config mechanism %s%s, special cycles %s%s, "