unsigned long cookie = 0; 
unsigned long cookie = NO_COOKIE; 
static unsigned long get_exec_dcookie(struct mm_struct * mm){	unsigned long cookie = 0;	struct vm_area_struct * vma; 	if (!mm)		goto out; 	for (vma = mm->mmap; vma; vma = vma->vm_next) {		if (!vma->vm_file)			continue;		if (!(vma->vm_flags & VM_EXECUTABLE))			continue;		cookie = fast_get_dcookie(vma->vm_file->f_dentry,			vma->vm_file->f_vfsmnt);		break;	}out:	return cookie;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0c0a400d1debb172c596b24ab82efab4975990a9/buffer_sync.c/buggy/drivers/oprofile/buffer_sync.c