tag	line	file	source code
datapages	1129	mm/memory.c	int datapages = 0;
datapages	1165	mm/memory.c	datapages++;
datapages	1177	mm/memory.c	datapages << (PAGE_SHIFT-10));