#endif 
int dma_set_mask(struct device *dev, u64 dma_mask){	if (dev->bus == &pci_bus_type)		return pci_set_dma_mask(to_pci_dev(dev), dma_mask);#ifdef CONFIG_IBMVIO	if (dev->bus == &vio_bus_type)		return -EIO;#endif /* CONFIG_IBMVIO */	BUG();	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/145d01e4287b8cbf50f87c3283e33bf5c84e8468/dma.c/buggy/arch/ppc64/kernel/dma.c