printk("%lu pages dirty\n", ps.nr_dirty); printk("%lu pages writeback\n", ps.nr_writeback); printk("%lu pages mapped\n", ps.nr_mapped); printk("%lu pages slab\n", ps.nr_slab); printk("%lu pages pagetables\n", ps.nr_page_table_pages); 
printk(KERN_INFO "%lu pages dirty\n", ps.nr_dirty); printk(KERN_INFO "%lu pages writeback\n", ps.nr_writeback); printk(KERN_INFO "%lu pages mapped\n", ps.nr_mapped); printk(KERN_INFO "%lu pages slab\n", ps.nr_slab); printk(KERN_INFO "%lu pages pagetables\n", ps.nr_page_table_pages); 
void show_mem(void){	int total = 0, reserved = 0;	int shared = 0, cached = 0;	int highmem = 0;	struct page *page;	pg_data_t *pgdat;	unsigned long i;	struct page_state ps;	printk("Mem-info:\n");	show_free_areas();	printk("Free swap:       %6ldkB\n", nr_swap_pages<<(PAGE_SHIFT-10));	for_each_pgdat(pgdat) {		for (i = 0; i < pgdat->node_spanned_pages; ++i) {			page = pgdat_page_nr(pgdat, i);			total++;			if (PageHighMem(page))				highmem++;			if (PageReserved(page))				reserved++;			else if (PageSwapCache(page))				cached++;			else if (page_count(page))				shared += page_count(page) - 1;		}	}	printk("%d pages of RAM\n", total);	printk("%d pages of HIGHMEM\n",highmem);	printk("%d reserved pages\n",reserved);	printk("%d pages shared\n",shared);	printk("%d pages swap cached\n",cached);	get_page_state(&ps);	printk("%lu pages dirty\n", ps.nr_dirty);	printk("%lu pages writeback\n", ps.nr_writeback);	printk("%lu pages mapped\n", ps.nr_mapped);	printk("%lu pages slab\n", ps.nr_slab);	printk("%lu pages pagetables\n", ps.nr_page_table_pages);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/f90e7185ee00c1faa9d07b2f669d124772fdba17/pgtable.c/buggy/arch/i386/mm/pgtable.c