static void gicv3_cpuif_el_change_hook(ARMCPU *cpu, void *opaque)

{

    /* Do nothing for now. */

}

static void gicv3_cpuif_el_change_hook(ARMCPU *cpu, void *opaque)

{

    

}

static void FUNC_0(ARMCPU *VAR_0, void *VAR_1)

{

    

}

static void FUNC_0(ARMCPU *VAR_0, void *VAR_1)
{ }