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

#include <odp/api/cpu.h>

/* Non-inlined functions for ABI compat mode */
#define _ODP_NO_INLINE
#include <odp/api/plat/cpu_inlines.h>