diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index f895ece5e7..037811fde8 100644
--- 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' )