void xen_pcpu_hotplug_sync(void);
 int xen_pcpu_id(uint32_t acpi_id);
 
-int xen_acpi_notify_hypervisor_state(u8 sleep_state,
-                                    u32 pm1a_cnt, u32 pm1b_cnd);
-
-static inline void xen_acpi_sleep_register(void)
-{
-       if (xen_initial_domain())
-               acpi_os_set_prepare_sleep(
-                       &xen_acpi_notify_hypervisor_state);
-}
-#else
-static inline void xen_acpi_sleep_register(void)
-{
-}
-#endif
-
 static inline int xen_acpi_get_pxm(acpi_handle h)
 {
        unsigned long long pxm;
        return -ENXIO;
 }
 
+int xen_acpi_notify_hypervisor_state(u8 sleep_state,
+                                    u32 pm1a_cnt, u32 pm1b_cnd);
+
+static inline void xen_acpi_sleep_register(void)
+{
+       if (xen_initial_domain())
+               acpi_os_set_prepare_sleep(
+                       &xen_acpi_notify_hypervisor_state);
+}
+#else
+static inline void xen_acpi_sleep_register(void)
+{
+}
+#endif
+
 #endif /* _XEN_ACPI_H */