dma_alloc_coherent(struct device *dev, size_t size, dma_addr_t *handle, int gfp) 
dma_alloc_coherent(struct device *dev, size_t size, dma_addr_t *handle, gfp_t gfp) 
dma_alloc_coherent(struct device *dev, size_t size, dma_addr_t *handle, int gfp){	return __dma_alloc(dev, size, handle, gfp,			   pgprot_noncached(pgprot_kernel));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f9e3214a7964f523e12b4f30b6bd6396794818bd/consistent.c/clean/arch/arm/mm/consistent.c