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>

2 files changed, 2 insertions, 1 deletions

diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h
index d939e3e6e89f..9a440a42c618 100644
--- 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 f93911452f9e..5060805058a4 100644
--- 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);