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 get_task_state(const CPUState * cs)12static inline TaskState *get_task_state(const CPUState *cs) 13 { 14 return cs->opaque; 15 } 16 #endif 17 18 #endif 19