tag	line	file	source code
codepages	1199	mm/memory.c	int codepages = 0;
codepages	1235	mm/memory.c	codepages++;
codepages	1247	mm/memory.c	codepages << (PAGE_SHIFT-10),