void free_initmem(void)
 {
-       unsigned long addr;
        unsigned long init_begin = (unsigned long)__init_begin;
        unsigned long init_end = (unsigned long)__init_end;
 
         * pages are no-longer executable */
        flush_icache_range(init_begin, init_end);
        
-       for (addr = init_begin; addr < init_end; addr += PAGE_SIZE) {
-               ClearPageReserved(virt_to_page(addr));
-               init_page_count(virt_to_page(addr));
-               free_page(addr);
-               num_physpages++;
-               totalram_pages++;
-       }
+       num_physpages += free_initmem_default(0);
 
        /* set up a new led state on systems shipped LED State panel */
        pdc_chassis_send_status(PDC_CHASSIS_DIRECT_BCOMPLETE);
-       
-       printk(KERN_INFO "Freeing unused kernel memory: %luk freed\n",
-               (init_end - init_begin) >> 10);
 }
 
 
 #ifdef CONFIG_BLK_DEV_INITRD
 void free_initrd_mem(unsigned long start, unsigned long end)
 {
-       if (start >= end)
-               return;
-       printk(KERN_INFO "Freeing initrd memory: %ldk freed\n", (end - start) >> 10);
-       for (; start < end; start += PAGE_SIZE) {
-               ClearPageReserved(virt_to_page(start));
-               init_page_count(virt_to_page(start));
-               free_page(start);
-               num_physpages++;
-               totalram_pages++;
-       }
+       num_physpages += free_reserved_area(start, end, 0, "initrd");
 }
 #endif