tag	line	file	source code
reservedpages	1192	mm/memory.c	int reservedpages = 0;
reservedpages	1225	mm/memory.c	reservedpages++;
reservedpages	1240	mm/memory.c	reservedpages << (PAGE_SHIFT-10),