| /* | |
| * FreeBSD thread dependent code and definitions | |
| * | |
| * Copyright (c) 2013 Stacey D. Son | |
| * | |
| * SPDX-License-Identifier: GPL-2.0-or-later | |
| */ | |
| #ifndef TARGET_OS_THREAD_H | |
| #define TARGET_OS_THREAD_H | |
| #include "target_arch_thread.h" | |
| #endif /* TARGET_OS_THREAD_H */ |