xen: Move preinit_xen_time in ARM headers

This function is ARM specific. It's has been added by mistake in the
common code.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/xen/include/asm-arm/time.h b/xen/include/asm-arm/time.h
index d544b5b7100d3c18c17278eb88f6f30036f7da4d..039039a416ce5e8c35a3d5ea6cb32d280f1b6b46 100644 (file)
--- a/xen/include/asm-arm/time.h
+++ b/xen/include/asm-arm/time.h
@@ -31,6 +31,8 @@ extern void __cpuinit init_timer_interrupt(void);
 /* Counter value at boot time */
 extern uint64_t boot_count;
 
+void preinit_xen_time(void);
+
 #endif /* __ARM_TIME_H__ */
 /*
  * Local variables:

diff --git a/xen/include/xen/time.h b/xen/include/xen/time.h
index bb19511bff676a71d6bcd6d511884370a553e21d..da4e8d78505b6a947f4f75d096e020ad9d58ab87 100644 (file)
--- a/xen/include/xen/time.h
+++ b/xen/include/xen/time.h
@@ -12,7 +12,6 @@
 #include <public/xen.h>
 
 extern int init_xen_time(void);
-void preinit_xen_time(void);
 extern void cstate_restore_tsc(void);
 
 extern unsigned long cpu_khz;