|
@@ -62,33 +62,6 @@ static unsigned long empty_bad_page;
|
|
|
|
|
|
unsigned long empty_zero_page;
|
|
unsigned long empty_zero_page;
|
|
|
|
|
|
-void show_mem(void)
|
|
|
|
-{
|
|
|
|
- unsigned long i;
|
|
|
|
- int free = 0, total = 0, reserved = 0, shared = 0;
|
|
|
|
- int cached = 0;
|
|
|
|
-
|
|
|
|
- printk(KERN_INFO "\nMem-info:\n");
|
|
|
|
- show_free_areas();
|
|
|
|
- i = max_mapnr;
|
|
|
|
- while (i-- > 0) {
|
|
|
|
- total++;
|
|
|
|
- if (PageReserved(mem_map+i))
|
|
|
|
- reserved++;
|
|
|
|
- else if (PageSwapCache(mem_map+i))
|
|
|
|
- cached++;
|
|
|
|
- else if (!page_count(mem_map+i))
|
|
|
|
- free++;
|
|
|
|
- else
|
|
|
|
- shared += page_count(mem_map+i) - 1;
|
|
|
|
- }
|
|
|
|
- printk(KERN_INFO "%d pages of RAM\n",total);
|
|
|
|
- printk(KERN_INFO "%d free pages\n",free);
|
|
|
|
- printk(KERN_INFO "%d reserved pages\n",reserved);
|
|
|
|
- printk(KERN_INFO "%d pages shared\n",shared);
|
|
|
|
- printk(KERN_INFO "%d pages swap cached\n",cached);
|
|
|
|
-}
|
|
|
|
-
|
|
|
|
extern unsigned long memory_start;
|
|
extern unsigned long memory_start;
|
|
extern unsigned long memory_end;
|
|
extern unsigned long memory_end;
|
|
|
|
|