// SPDX-License-Identifier: GPL-2.0-or-later
/*
 * Copyright (c) 2015 Linux Test Project
 */

#ifndef LAPI_FUTEX_H__
#define LAPI_FUTEX_H__

#include <stdint.h>

typedef volatile uint32_t futex_t;

#endif /* LAPI_FUTEX_H__ */
