diff --git a/arch/x86/xen/xen-ops.h b/arch/x86/xen/xen-ops.h
index d939e3e6e89fe39a6e0c592a41e4fe23e104f74c..9a440a42c618f31aa7148f2480259e7bd8c13572 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 f93911452f9e1cef9a82138828fd361df091b51f..5060805058a4ebc2963dd02f9f8b4ff3a1858f30 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);