vga_set_mem_top   382 drivers/video/console/vgacon.c 	vga_set_mem_top(c);
vga_set_mem_top   623 drivers/video/console/vgacon.c 		vga_set_mem_top(c);
vga_set_mem_top  1340 drivers/video/console/vgacon.c 	vga_set_mem_top(c);
vga_set_mem_top  1411 drivers/video/console/vgacon.c 	vga_set_mem_top(c);