@@ -20,14 +20,12 @@ extern "C" {
#include <odp_std_types.h>
-
+#include <plat/odp_spinlock.h>
/**
* ODP spinlock
*/
-typedef struct odp_spinlock_t {
- volatile int lock; /**< @private Lock */
-} odp_spinlock_t;
+typedef plat_odp_spinlock_t odp_spinlock_t;
/**
new file mode 100644
@@ -0,0 +1,27 @@
+/* Copyright (c) 2013, Linaro Limited
+ * All rights reserved.
+ *
+ * SPDX-License-Identifier: BSD-3-Clause
+ */
+
+
+/**
+ * @file
+ *
+ * ODP spinlock
+ */
+
+#ifndef ODP_SPINLOCK_H_
+#error This file should be included only into corresponding top level header
+#else
+
+#include <odp_std_types.h>
+
+/**
+ * ODP spinlock
+ */
+typedef struct odp_spinlock_t {
+ volatile int lock; /**< @private Lock */
+} plat_odp_spinlock_t;
+
+#endif