hw/intc/arm_gicv3_cpuif_common.c

   1 /* SPDX-License-Identifier: GPL-2.0-or-later */
   2 /*
   3  * ARM Generic Interrupt Controller v3
   4  *
   5  * Copyright (c) 2016 Linaro Limited
   6  * Written by Peter Maydell
   7  *
   8  * This code is licensed under the GPL, version 2 or (at your option)
   9  * any later version.
  10  */
  11
  12 #include "qemu/osdep.h"
  13 #include "gicv3_internal.h"
  14 #include "cpu.h"
  15
  16 void gicv3_set_gicv3state(CPUState *cpu, GICv3CPUState *s)
  17 {
  18     ARMCPU *arm_cpu = ARM_CPU(cpu);
  19     CPUARMState *env = &arm_cpu->env;
  20
  21     env->gicv3state = (void *)s;
  22 };