14  *	     tighter packing. Prefetchable range support.
572  * 64-bit prefetchable MMIO.
739  * Check whether the bridge supports optional I/O and prefetchable memory
1161 	/* Check whether prefetchable memory is supported by this bridge. */  in pci_bus_size_cardbus()
1173 	 * If we have prefetchable memory support, allocate two regions.  in pci_bus_size_cardbus()
1267 		 * If there's a 64-bit prefetchable MMIO window, compute  in __pci_bus_size_bridges()
1268 		 * the size required to put all 64-bit prefetchable  in __pci_bus_size_bridges()
1281 			 * If successful, all non-prefetchable resources  in __pci_bus_size_bridges()
1282 			 * and any 32-bit prefetchable resources will go in  in __pci_bus_size_bridges()
1283 			 * the non-prefetchable window.  in __pci_bus_size_bridges()
1293 		 * If there is no 64-bit prefetchable window, compute the  in __pci_bus_size_bridges()
1294 		 * size required to put all prefetchable resources in the  in __pci_bus_size_bridges()
1295 		 * 32-bit prefetchable window (if there is one).  in __pci_bus_size_bridges()
1305 			 * If successful, only non-prefetchable resources  in __pci_bus_size_bridges()
1306 			 * will go in the non-prefetchable window.  in __pci_bus_size_bridges()
1318 		 * non-prefetchable window. This includes:  in __pci_bus_size_bridges()
1320 		 *   - all non-prefetchable resources  in __pci_bus_size_bridges()
1321 		 *   - 32-bit prefetchable resources if there's a 64-bit  in __pci_bus_size_bridges()
1322 		 *     prefetchable window or no prefetchable window at all  in __pci_bus_size_bridges()
1323 		 *   - 64-bit prefetchable resources if there's no prefetchable  in __pci_bus_size_bridges()
1328 		 * prefetchable resource in a 64-bit prefetchable window.  in __pci_bus_size_bridges()
1809 			 * Make sure prefetchable memory is reduced from  in remove_dev_resources()
1811 			 * prefetchable memory in non-prefetchable window  in remove_dev_resources()
1812 			 * if there is an 64-bit prefetchable window.  in remove_dev_resources()