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