/*
 * 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