1 /* 2 * TaskState helpers for QEMU 3 * 4 * Copyright (c) 2023 Linaro Ltd. 5 * 6 * Authors: 7 * Philippe Mathieu-Daudé 8 * 9 * SPDX-License-Identifier: GPL-2.0-or-later 10 */ 11 #ifndef ACCEL_TCG_VCPU_STATE_H 12 #define ACCEL_TCG_VCPU_STATE_H 13 14 #include "hw/core/cpu.h" 15 16 #ifdef CONFIG_USER_ONLY 17 static inline TaskState *get_task_state(const CPUState *cs) 18 { 19 return cs->opaque; 20 } 21 #endif 22 23 #endif 24