tag	line	file	source code
codepages	1194	mm/memory.c	int codepages = 0;
codepages	1232	mm/memory.c	codepages++;
codepages	1244	mm/memory.c	codepages << (PAGE_SHIFT-10),