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