taglinefilesource code
reservedpages198arch/i386/mm/init.cint reservedpages = 0;
reservedpages238arch/i386/mm/init.creservedpages++;
reservedpages253arch/i386/mm/init.creservedpages << (PAGE_SHIFT-10),
reservedpages204arch/ppc/mm/init.cint reservedpages = 0;
reservedpages238arch/ppc/mm/init.creservedpages++;
reservedpages256arch/ppc/mm/init.creservedpages << (PAGE_SHIFT-10),