/* Setup DMA mask to 64MB on PCI devices. Ignore all other devices.  */
static int ixp4xx_pci_platform_notify(struct device *dev)
/* Setup DMA mask to 64MB on PCI devices. Ignore all other devices.  */
static int ixp4xx_pci_platform_notify(struct device *dev)
{
	if(dev->bus == &pci_bus_type) {
		*dev->dma_mask =  SZ_64M - 1;
		dev->coherent_dma_mask = SZ_64M - 1;
		dmabounce_register_dev(dev, 2048, 4096);
	}
	return 0;
}