__vgic_v3_restore_state
void __vgic_v3_restore_state(struct vgic_v3_cpu_if *cpu_if);
__vgic_v3_restore_state(&vcpu->arch.vgic_cpu.vgic_v3);