vga: Only vga_endboot() if vga_init() completed.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/drivers/video/vga.c b/xen/drivers/video/vga.c
index 7595909e55ce38c34e2eb53269c555a865a73d18..f64dc06eca619ecefdd91ae5d2fa351f8183c31b 100644 (file)
--- a/xen/drivers/video/vga.c
+++ b/xen/drivers/video/vga.c
@@ -99,7 +99,7 @@ void __init vga_init(void)
 
 void __init vga_endboot(void)
 {
-    if ( !vga_console_info.video_type )
+    if ( vga_puts == vga_noop_puts )
         return;
 
     printk("Xen is %s VGA console.\n",