13 #include <linux/types.h>
14 #include <linux/kernel.h>
15 #include <linux/pci.h>
18 #include <linux/errno.h>
43 "### PCIBIOS_ALIGN_RESOURCE(%s,,{%08lx-%08lx,%08lx},%lx)\n",
53 start = (start + 0x3ff) & ~0x3ff;
111 " Cannot allocate resource"
112 " region %d of bridge %s\n",
127 static void __init pcibios_allocate_resources(
int pass)
136 for (idx = 0; idx < 6; idx++) {
146 if (pass == disabled) {
147 DBG(
"PCI[%s]: Resource %08lx-%08lx"
148 " (f=%lx, d=%d, p=%d)\n",
153 " Cannot allocate resource"
154 " region %d of device %s\n",
168 DBG(
"PCI: Switching off ROM of %s\n",
171 pci_read_config_dword(
173 pci_write_config_dword(
181 static int __init pcibios_assign_resources(
void)
210 DBG(
"PCI: Allocating resources\n");
212 pcibios_allocate_resources(0);
213 pcibios_allocate_resources(1);