change system file

hc

2024-10-09 244b2c5ca8b14627e4a17755e5922221e121c771

 kernel/drivers/video/vgastate.c
..
..
@@ -455,7 +455,7 @@
455
455
 	return 0;
456
456
 }
457
457
 
458
-int restore_vga (struct vgastate *state)
458
+int restore_vga(struct vgastate *state)
459
459
 {
460
460
 	if (state->vidstate == NULL)
461
461
 		return 1;