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