| /* | |
| * SPDX-FileContributor: Philippe Mathieu-Daudé <philmd@linaro.org> | |
| * SPDX-FileCopyrightText: 2023 Linaro Ltd. | |
| * SPDX-License-Identifier: GPL-2.0-or-later | |
| */ | |
| #ifndef ACCEL_TCG_VCPU_STATE_H | |
| #define ACCEL_TCG_VCPU_STATE_H | |
| #include "hw/core/cpu.h" | |
| #ifdef CONFIG_USER_ONLY | |
| static inline TaskState *get_task_state(const CPUState *cs) | |
| { | |
| return cs->opaque; | |
| } | |
| #endif | |
| #endif |