vgabios: Handle VGA option rom being re-run.

[seabios.git] / vgasrc / vgabios.h

diff --git a/vgasrc/vgabios.h b/vgasrc/vgabios.h
index b47c6691c555527f564b7204867cada98d1777c4..0aff68495f41f0c71452b0bb6fa949508b272820 100644 (file)
--- a/vgasrc/vgabios.h
+++ b/vgasrc/vgabios.h
@@ -75,6 +75,7 @@ extern u8 vgafont16alt[];
 
 // vgabios.c
 extern int VgaBDF;
+extern int HaveRunInit;
 #define SET_VGA(var, val) SET_FARVAR(get_global_seg(), (var), (val))
 struct carattr {
     u8 car, attr, use_attr;