referenced += page_referenced_one(page, vma, &mapcount, ignore_token); 
referenced += page_referenced_one(page, vma, &mapcount); 
static int page_referenced_anon(struct page *page, int ignore_token){	unsigned int mapcount;	struct anon_vma *anon_vma;	struct vm_area_struct *vma;	int referenced = 0;	anon_vma = page_lock_anon_vma(page);	if (!anon_vma)		return referenced;	mapcount = page_mapcount(page);	list_for_each_entry(vma, &anon_vma->head, anon_vma_node) {		referenced += page_referenced_one(page, vma, &mapcount,							ignore_token);		if (!mapcount)			break;	}	spin_unlock(&anon_vma->lock);	return referenced;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f7b7fd8f3ebbb2810d6893295aa984acd0fd30db/rmap.c/clean/mm/rmap.c