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