blob: e407d914dfdbba785c26d616930d29c5ec1aed75 [file] [log] [blame]
Philippe Mathieu-Daudé80196012024-04-25 11:11:49 +02001/*
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
12static inline TaskState *get_task_state(const CPUState *cs)
13{
14 return cs->opaque;
15}
16#endif
17
18#endif