|
@@ -445,7 +445,7 @@ int kvm_timer_hyp_init(void)
|
|
|
if (err) {
|
|
|
kvm_err("kvm_arch_timer: can't request interrupt %d (%d)\n",
|
|
|
host_vtimer_irq, err);
|
|
|
- goto out;
|
|
|
+ return err;
|
|
|
}
|
|
|
|
|
|
kvm_info("virtual timer IRQ%d\n", host_vtimer_irq);
|
|
@@ -453,10 +453,6 @@ int kvm_timer_hyp_init(void)
|
|
|
cpuhp_setup_state(CPUHP_AP_KVM_ARM_TIMER_STARTING,
|
|
|
"AP_KVM_ARM_TIMER_STARTING", kvm_timer_starting_cpu,
|
|
|
kvm_timer_dying_cpu);
|
|
|
- goto out;
|
|
|
-out_free:
|
|
|
- free_percpu_irq(host_vtimer_irq, kvm_get_running_vcpus());
|
|
|
-out:
|
|
|
return err;
|
|
|
}
|
|
|
|