vga_hardscroll_user_enable  104 drivers/video/console/vgacon.c static bool vga_hardscroll_user_enable = true;
vga_hardscroll_user_enable  133 drivers/video/console/vgacon.c 	vga_hardscroll_user_enable = vga_hardscroll_enabled = false;
vga_hardscroll_user_enable  561 drivers/video/console/vgacon.c 		vga_hardscroll_enabled = vga_hardscroll_user_enable;