23 lines
381 B
C
23 lines
381 B
C
/*
|
|
* 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
|