tag	line	file	source code
reservedpages	982	mm/memory.c	int reservedpages = 0;
reservedpages	1017	mm/memory.c	reservedpages++;
reservedpages	1033	mm/memory.c	reservedpages << 2,