platform/linux-generic/odp_ticketlock.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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

#include "config.h"

#include <odp/api/ticketlock.h>

#include <odp/api/plat/ticketlock_inlines.h>

/* Include non-inlined versions of API functions */
#define _ODP_INLINE
#include <odp/api/plat/ticketlock_inlines_api.h>