vgacon_restore_screen  291 drivers/video/console/vgacon.c 		vgacon_restore_screen(c);
vgacon_restore_screen  715 drivers/video/console/vgacon.c 	vgacon_restore_screen(c);
vgacon_restore_screen 1379 drivers/video/console/vgacon.c 	vgacon_restore_screen(c);