text: /* Copyright (c) 2017-2018, Linaro Limited
   * All rights reserved.
   *
   * SPDX-License-Identifier:     BSD-3-Clause
   */
  
  #include <odp/api/abi-default/spinlock_recursive.h>
  
  /* Include inlined versions of API functions */
  #include <odp/api/plat/spinlock_recursive_inlines.h>
  