taglinefilesource code
reservedpages202arch/i386/mm/init.cint reservedpages = 0;
reservedpages244arch/i386/mm/init.creservedpages++;
reservedpages263arch/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),