1 // SPDX-License-Identifier: GPL-2.0-or-later 2 /* 3 * Copyright (c) 2015 Linux Test Project 4 */ 5 6 #ifndef LAPI_FUTEX_H__ 7 #define LAPI_FUTEX_H__ 8 9 #include <stdint.h> 10 11 typedef volatile uint32_t futex_t; 12 13 #if !defined(SYS_futex) && defined(SYS_futex_time64) 14 #define SYS_futex SYS_futex_time64 15 #endif 16 17 #endif /* LAPI_FUTEX_H__ */ 18