tag	line	file	source code
shared	834	mm/memory.c	int shared = 0;
shared	849	mm/memory.c	shared += mem_map[i]-1;
shared	854	mm/memory.c	printk("%d pages shared\n",shared);