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