tag	line	file	source code
codepages	1191	mm/memory.c	int codepages = 0;
codepages	1227	mm/memory.c	codepages++;
codepages	1239	mm/memory.c	codepages << (PAGE_SHIFT-10),