Philippe Mathieu-Daudé | 8019601 | 2024-04-25 11:11:49 +0200 | [diff] [blame] | 1 | /* |
2 | * SPDX-FileContributor: Philippe Mathieu-Daudé <philmd@linaro.org> | ||||
3 | * SPDX-FileCopyrightText: 2023 Linaro Ltd. | ||||
4 | * SPDX-License-Identifier: GPL-2.0-or-later | ||||
5 | */ | ||||
6 | #ifndef ACCEL_TCG_VCPU_STATE_H | ||||
7 | #define ACCEL_TCG_VCPU_STATE_H | ||||
8 | |||||
9 | #include "hw/core/cpu.h" | ||||
10 | |||||
11 | #ifdef CONFIG_USER_ONLY | ||||
12 | static inline TaskState *get_task_state(const CPUState *cs) | ||||
13 | { | ||||
14 | return cs->opaque; | ||||
15 | } | ||||
16 | #endif | ||||
17 | |||||
18 | #endif |