@@ -22,24 +22,24 @@ extern "C" {
#include <odp_buffer.h>
#include <odp_buffer_pool.h>
#include <odp_queue.h>
-
+#include <plat/odp_timer.h>
/**
* ODP timer handle
*/
-typedef uint32_t odp_timer_t;
+typedef plat_odp_timer_t odp_timer_t;
/** Invalid timer */
-#define ODP_TIMER_INVALID 0
+#define ODP_TIMER_INVALID PLAT_ODP_TIMER_INVALID
/**
* ODP timeout handle
*/
-typedef odp_buffer_t odp_timer_tmo_t;
+typedef plat_odp_timer_tmo_t odp_timer_tmo_t;
/** Invalid timeout */
-#define ODP_TIMER_TMO_INVALID 0
+#define ODP_TIMER_TMO_INVALID PLAT_ODP_TIMER_TMO_INVALID
/**
new file mode 100644
@@ -0,0 +1,39 @@
+/* Copyright (c) 2013, Linaro Limited
+ * All rights reserved.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+
+
+/**
+ * @file
+ *
+ * ODP timer
+ */
+
+#ifndef ODP_TIMER_H_
+#error This file should be included only into corresponding top level header
+#else
+
+#include <odp_std_types.h>
+#include <odp_buffer.h>
+
+
+/**
+* ODP timer handle
+*/
+typedef uint32_t plat_odp_timer_t;
+
+/** Invalid timer */
+#define PLAT_ODP_TIMER_INVALID 0
+
+
+/**
+* ODP timeout handle
+*/
+typedef odp_buffer_t plat_odp_timer_tmo_t;
+
+/** Invalid timeout */
+#define PLAT_ODP_TIMER_TMO_INVALID 0
+
+#endif