dma_addr_t *dma_handle, unsigned int __nocast flag) 
dma_addr_t *dma_handle, gfp_t flag) 
static void *vio_alloc_coherent(struct device *dev, size_t size,			   dma_addr_t *dma_handle, unsigned int __nocast flag){	return iommu_alloc_coherent(to_vio_dev(dev)->iommu_table, size,			dma_handle, flag);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/vio.c/buggy/arch/ppc64/kernel/vio.c