19 lines
380 B
C
19 lines
380 B
C
|
/*
|
||
|
|
* SPDX-FileContributor: Philippe Mathieu-Daudé <philmd@linaro.org>
|
||
|
|
* SPDX-FileCopyrightText: 2023 Linaro Ltd.
|
||
|
|
* 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
|