From: Andrew Cooper <andrew.cooper3@citrix.com>
Date: Thu, 11 Jan 2018 17:47:59 +0000 (+0000)
Subject: x86/time: Print a more helpful error when a platform timer can't be found
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~820
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=f5b58e3d64ef3e38de28dd1e25e7734506dac258;p=xen.git

x86/time: Print a more helpful error when a platform timer can't be found

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
---

diff --git a/xen/arch/x86/time.c b/xen/arch/x86/time.c
index 2a879502a2..3b654d7b7d 100644
--- a/xen/arch/x86/time.c
+++ b/xen/arch/x86/time.c
@@ -708,7 +708,8 @@ static u64 __init init_platform_timer(void)
         }
     }
 
-    BUG_ON(rc <= 0);
+    if ( rc <= 0 )
+        panic("Unable to find usable platform timer");
 
     printk("Platform timer is %s %s\n",
            freq_string(pts->frequency), pts->name);