|
@@ -94,36 +94,6 @@ __bad_page(void)
|
|
return pte_mkdirty(mk_pte(virt_to_page(EMPTY_PGE), PAGE_SHARED));
|
|
return pte_mkdirty(mk_pte(virt_to_page(EMPTY_PGE), PAGE_SHARED));
|
|
}
|
|
}
|
|
|
|
|
|
-#ifndef CONFIG_DISCONTIGMEM
|
|
|
|
-void
|
|
|
|
-show_mem(void)
|
|
|
|
-{
|
|
|
|
- long i,free = 0,total = 0,reserved = 0;
|
|
|
|
- long shared = 0, cached = 0;
|
|
|
|
-
|
|
|
|
- printk("\nMem-info:\n");
|
|
|
|
- show_free_areas();
|
|
|
|
- printk("Free swap: %6ldkB\n", nr_swap_pages<<(PAGE_SHIFT-10));
|
|
|
|
- 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("%ld pages of RAM\n",total);
|
|
|
|
- printk("%ld free pages\n",free);
|
|
|
|
- printk("%ld reserved pages\n",reserved);
|
|
|
|
- printk("%ld pages shared\n",shared);
|
|
|
|
- printk("%ld pages swap cached\n",cached);
|
|
|
|
-}
|
|
|
|
-#endif
|
|
|
|
-
|
|
|
|
static inline unsigned long
|
|
static inline unsigned long
|
|
load_PCB(struct pcb_struct *pcb)
|
|
load_PCB(struct pcb_struct *pcb)
|
|
{
|
|
{
|