printk("Mem-info:\n"); 
printk(KERN_INFO "Mem-info:\n"); 
void show_mem(void){	int i, total = 0, reserved = 0;	int shared = 0, cached = 0;	pg_data_t *pgdat;	struct page *page;	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 = pfn_to_page(pgdat->node_start_pfn + i);			total++;                       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 reserved pages\n",reserved);	printk("%d pages shared\n",shared);	printk("%d pages swap cached\n",cached);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e92343cc8e9ca4bc0db4b007dd37d33a207ef637/init.c/clean/arch/x86_64/mm/init.c