kernel: move timing externs to public header

These arch_timing_ defines get used in certain timer
drivers and need to be in the public include space,
and not the private kernel headers.

Signed-off-by: Andrew Boie <[email protected]>

Author: Andrew Boie

include/sys/arch_interface.h

@@ -641,6 +641,27 @@ size_t arch_user_string_nlen(const char *s, size_t maxsize, int *err);
 
 /** @} */
 
+/**
+ * @defgroup arch-benchmarking Architecture-specific benchmarking globals
+ * @ingroup arch-interface
+ * @{
+ */
+
+#ifdef CONFIG_EXECUTION_BENCHMARKING
+extern u64_t arch_timing_swap_start;
+extern u64_t arch_timing_swap_end;
+extern u64_t arch_timing_irq_start;
+extern u64_t arch_timing_irq_end;
+extern u64_t arch_timing_tick_start;
+extern u64_t arch_timing_tick_end;
+extern u64_t arch_timing_user_mode_end;
+extern u32_t arch_timing_value_swap_end;
+extern u64_t arch_timing_value_swap_common;
+extern u64_t arch_timing_value_swap_temp;
+#endif /* CONFIG_EXECUTION_BENCHMARKING */
+
+/** @} */
+
 #ifdef __cplusplus
 }
 #endif /* __cplusplus */

kernel/include/kernel_arch_interface.h

@@ -212,29 +212,6 @@ static inline bool arch_is_in_isr(void);
 
 /** @} */
 
-
-/**
- * @defgroup arch-benchmarking Architecture-specific benchmarking globals
- * @ingroup arch-interface
- * @{
- */
-
-#ifdef CONFIG_EXECUTION_BENCHMARKING
-extern u64_t arch_timing_swap_start;
-extern u64_t arch_timing_swap_end;
-extern u64_t arch_timing_irq_start;
-extern u64_t arch_timing_irq_end;
-extern u64_t arch_timing_tick_start;
-extern u64_t arch_timing_tick_end;
-extern u64_t arch_timing_user_mode_end;
-extern u32_t arch_timing_value_swap_end;
-extern u64_t arch_timing_value_swap_common;
-extern u64_t arch_timing_value_swap_temp;
-#endif /* CONFIG_EXECUTION_BENCHMARKING */
-
-/** @} */
-
-
 /**
  * @defgroup arch-misc Miscellaneous architecture APIs
  * @ingroup arch-interface