tag	line	file	source code
PAGE_SHARED	530	mm/memory.c	*(unsigned long *) pte = BAD_PAGE | PAGE_SHARED;
PAGE_SHARED	968	mm/memory.c	*pg_table = address | PAGE_SHARED;