xen: Export xen_reboot

The helper xen_reboot will be called by the EFI code in a later patch.

Note that the ARM version does not yet exist and will be added in a
later patch too.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Signed-off-by: Juergen Gross <jgross@suse.com>

diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h
index d939e3e..9a440a4 100644 (file)
--- a/arch/x86/xen/xen-ops.h
+++ b/arch/x86/xen/xen-ops.h
@@ -153,7 +153,6 @@ int xen_cpuhp_setup(int (*cpu_up_prepare_cb)(unsigned int),
 
 void xen_pin_vcpu(int cpu);
 
-void xen_reboot(int reason);
 void xen_emergency_restart(void);
 #ifdef CONFIG_XEN_PV
 void xen_pv_pre_suspend(void);

diff --git a/include/xen/xen-ops.h b/include/xen/xen-ops.h
index f939114..5060805 100644 (file)
--- a/include/xen/xen-ops.h
+++ b/include/xen/xen-ops.h
@@ -22,6 +22,8 @@ void xen_timer_resume(void);
 void xen_arch_resume(void);
 void xen_arch_suspend(void);
 
+void xen_reboot(int reason);
+
 void xen_resume_notifier_register(struct notifier_block *nb);
 void xen_resume_notifier_unregister(struct notifier_block *nb);