taglinefilesource code
reservedpages161arch/i386/mm/init.cint reservedpages = 0;
reservedpages196arch/i386/mm/init.creservedpages++;
reservedpages211arch/i386/mm/init.creservedpages << (PAGE_SHIFT-10),
reservedpages182arch/mips/mm/init.cint reservedpages = 0;
reservedpages213arch/mips/mm/init.creservedpages++;
reservedpages228arch/mips/mm/init.creservedpages << (PAGE_SHIFT-10),