/* | |
* TaskState helpers for QEMU | |
* | |
* Copyright (c) 2023 Linaro Ltd. | |
* | |
* Authors: | |
* Philippe Mathieu-Daudé | |
* | |
* 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 |