} 
find_safe_buffer(struct dmabounce_device_info *device_info, dma_addr_t safe_dma_addr){	struct list_head *entry;	list_for_each(entry, &device_info->safe_buffers) {		struct safe_buffer *b =			list_entry(entry, struct safe_buffer, node);		if (b->safe_dma_addr == safe_dma_addr)			return b;	}	return NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b46a58fd4e3cdd107ffccedaa5e233deeb94c5c0/dmabounce.c/buggy/arch/arm/common/dmabounce.c