Symbol: vgacon_restore_screen
drivers/video/console/vgacon.c
1148
vgacon_restore_screen(c);
drivers/video/console/vgacon.c
513
vgacon_restore_screen(c);