From: Andrew Cooper <[email protected]>
Signed-off-by: Andrew Cooper <[email protected]>
Reviewed-by: Wei Liu <[email protected]>
---
xen/arch/x86/time.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
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);
--
2.11.0
_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel
