unsigned int __nocast flag) 
gfp_t flag) 
dma_alloc_coherent(struct device *dev, size_t size, dma_addr_t *dma_handle,		   unsigned int __nocast flag){	BUG();	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dd0fc66fb33cd610bc1a5db8a5e232d34879b4d7/dma-mapping.h/buggy/include/asm-generic/dma-mapping.h