mb_freed          933 drivers/video/fbdev/acornfb.c 	int mb_freed = 0;
mb_freed          953 drivers/video/fbdev/acornfb.c 		mb_freed += PAGE_SIZE / 1024;
mb_freed          956 drivers/video/fbdev/acornfb.c 	printk("acornfb: freed %dK memory\n", mb_freed);