api/spec/ticketlock.h

Go to the documentation of this file.

/* SPDX-License-Identifier: BSD-3-Clause
 * Copyright (c) 2013-2018 Linaro Limited
 */
 
#ifndef ODP_API_SPEC_TICKETLOCK_H_
#define ODP_API_SPEC_TICKETLOCK_H_
#include <odp/visibility_begin.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
void odp_ticketlock_init(odp_ticketlock_t *tklock);
 
void odp_ticketlock_lock(odp_ticketlock_t *tklock);
 
int odp_ticketlock_trylock(odp_ticketlock_t *tklock);
 
void odp_ticketlock_unlock(odp_ticketlock_t *tklock);
 
int odp_ticketlock_is_locked(odp_ticketlock_t *tklock);
 
#ifdef __cplusplus
}
#endif
 
#include <odp/visibility_end.h>
#endif