This is just a cleanup, not required at the moment.
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Reviewed-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
#include <asm/vgic.h>
#include <asm/regs.h>
-extern s_time_t ticks_to_ns(uint64_t ticks);
-extern uint64_t ns_to_ticks(s_time_t ns);
-
/*
* Check if regs is allowed access, user_gate is tail end of a
* CNTKCTL_EL1_ bit name which gates user access
/* Counter value at boot time */
extern uint64_t boot_count;
+extern s_time_t ticks_to_ns(uint64_t ticks);
+extern uint64_t ns_to_ticks(s_time_t ns);
+
void preinit_xen_time(void);
#endif /* __ARM_TIME_H__ */