| 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 "target/arm/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 | }; |