diff options
| -rw-r--r-- | virt/kvm/arm/arch_timer.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/virt/kvm/arm/arch_timer.c b/virt/kvm/arm/arch_timer.c index 17b8fa52bf3b..ae95fc0e3214 100644 --- a/virt/kvm/arm/arch_timer.c +++ b/virt/kvm/arm/arch_timer.c | |||
| @@ -425,6 +425,11 @@ int kvm_timer_hyp_init(void) | |||
| 425 | info = arch_timer_get_kvm_info(); | 425 | info = arch_timer_get_kvm_info(); |
| 426 | timecounter = &info->timecounter; | 426 | timecounter = &info->timecounter; |
| 427 | 427 | ||
| 428 | if (!timecounter->cc) { | ||
| 429 | kvm_err("kvm_arch_timer: uninitialized timecounter\n"); | ||
| 430 | return -ENODEV; | ||
| 431 | } | ||
| 432 | |||
| 428 | if (info->virtual_irq <= 0) { | 433 | if (info->virtual_irq <= 0) { |
| 429 | kvm_err("kvm_arch_timer: invalid virtual timer IRQ: %d\n", | 434 | kvm_err("kvm_arch_timer: invalid virtual timer IRQ: %d\n", |
| 430 | info->virtual_irq); | 435 | info->virtual_irq); |
