static void kvm_arm_gic_get(GICState *s)

{

    /* TODO: there isn't currently a kernel interface to get the GIC state */

}

static void kvm_arm_gic_get(GICState *s)

{

    

}

static void FUNC_0(GICState *VAR_0)

{

    

}

static void FUNC_0(GICState *VAR_0)
{ }