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