x86: Fix build for some versions of gcc.

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

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index f895ece5e760731aec0ea9c8d36d6e6982009f74..037811fde8efedfdff0a902b07f138419a7a732f 100644 (file)
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -595,7 +595,7 @@ static void init_platform_timer(void)
         &plt_cyclone, &plt_hpet, &plt_pmtimer, &plt_pit
     };
 
-    struct platform_timesource *pts;
+    struct platform_timesource *pts = NULL;
     int i, rc = -1;
 
     if ( opt_clocksource[0] != '\0' )