tag	line	file	source code
codepages	1060	mm/memory.c	int codepages = 0;
codepages	1098	mm/memory.c	codepages++;
codepages	1111	mm/memory.c	codepages << (PAGE_SHIFT-10),