|
@@ -19,6 +19,14 @@
|
|
#include "gicv3_internal.h"
|
|
#include "gicv3_internal.h"
|
|
#include "cpu.h"
|
|
#include "cpu.h"
|
|
|
|
|
|
|
|
+void gicv3_set_gicv3state(CPUState *cpu, GICv3CPUState *s)
|
|
|
|
+{
|
|
|
|
+ ARMCPU *arm_cpu = ARM_CPU(cpu);
|
|
|
|
+ CPUARMState *env = &arm_cpu->env;
|
|
|
|
+
|
|
|
|
+ env->gicv3state = (void *)s;
|
|
|
|
+};
|
|
|
|
+
|
|
static GICv3CPUState *icc_cs_from_env(CPUARMState *env)
|
|
static GICv3CPUState *icc_cs_from_env(CPUARMState *env)
|
|
{
|
|
{
|
|
/* Given the CPU, find the right GICv3CPUState struct.
|
|
/* Given the CPU, find the right GICv3CPUState struct.
|