accel/tcg/vcpu-state.h

   1 /*
   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
  12 static inline TaskState *get_task_state(const CPUState *cs)
  13 {
  14     return cs->opaque;
  15 }
  16 #endif
  17
  18 #endif