/* Copyright (c) 2015, Linaro Limited
 * All rights reserved.
 *
 * SPDX-License-Identifier:     BSD-3-Clause
 */

/**
 * @file
 *
 * ODP pool
 */

#ifndef ODP_PLAT_POOL_H_
#define ODP_PLAT_POOL_H_

#ifdef __cplusplus
extern "C" {
#endif

/** @ingroup odp_buffer
 *  @{
 */

/**
 * @}
 */

#include <odp/api/plat/pool_types.h>
#include <odp/api/plat/shared_memory_types.h>
#include <odp/api/plat/event_types.h>
#include <odp/api/spec/pool.h>

#ifdef __cplusplus
}
#endif

#endif