@@ -21,7 +21,7 @@ extern "C" {
#include <odp_std_types.h>
-
+#include <plat/odp_buffer.h>
@@ -29,9 +29,9 @@ extern "C" {
/**
* ODP buffer
*/
-typedef uint32_t odp_buffer_t;
+typedef plat_odp_buffer_t odp_buffer_t;
-#define ODP_BUFFER_INVALID (0xffffffff) /**< Invalid buffer */
+#define ODP_BUFFER_INVALID PLAT_ODP_BUFFER_INVALID /**< Invalid buffer */
/**
@@ -137,5 +137,7 @@ headers_install: libs
$(ECHO) Installing headers to $(DESTDIR)/include
$(COPY) $(ODP_ROOT)/include $(DESTDIR)
$(COPY) include/api/* $(DESTDIR)/include/
+ $(MKDIR) $(DESTDIR)/include/plat
+ $(COPY) include/plat/* $(DESTDIR)/include/plat
install: lib_install headers_install
new file mode 100644
@@ -0,0 +1,11 @@
+/*
+ * No protector.
+ * This file should be included only in one corresponding top level header.
+ */
+
+/**
+ * ODP buffer
+ */
+typedef uint32_t plat_odp_buffer_t;
+
+#define PLAT_ODP_BUFFER_INVALID (0xffffffff) /**< Invalid buffer */