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