|
@@ -170,6 +170,7 @@ static void __init xen_percpu_init(void *unused)
|
|
per_cpu(xen_vcpu, cpu) = vcpup;
|
|
per_cpu(xen_vcpu, cpu) = vcpup;
|
|
|
|
|
|
enable_percpu_irq(xen_events_irq, 0);
|
|
enable_percpu_irq(xen_events_irq, 0);
|
|
|
|
+ put_cpu();
|
|
}
|
|
}
|
|
|
|
|
|
static void xen_restart(char str, const char *cmd)
|
|
static void xen_restart(char str, const char *cmd)
|