unsigned long cookie = 0; 
unsigned long cookie = NO_COOKIE; 
static unsigned long lookup_dcookie(struct mm_struct * mm, unsigned long addr, off_t * offset){	unsigned long cookie = 0;	struct vm_area_struct * vma;	for (vma = find_vma(mm, addr); vma; vma = vma->vm_next) { 		if (!vma->vm_file)			continue;		if (addr < vma->vm_start || addr >= vma->vm_end)			continue;		cookie = fast_get_dcookie(vma->vm_file->f_dentry,			vma->vm_file->f_vfsmnt);		*offset = (vma->vm_pgoff << PAGE_SHIFT) + addr - vma->vm_start; 		break;	}	return cookie;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0c0a400d1debb172c596b24ab82efab4975990a9/buffer_sync.c/buggy/drivers/oprofile/buffer_sync.c