__vgic_v3_save_aprs
void __vgic_v3_save_aprs(struct vgic_v3_cpu_if *cpu_if);
kvm_call_hyp(__vgic_v3_save_aprs, &vcpu->arch.vgic_cpu.vgic_v3);
__vgic_v3_save_aprs(kern_hyp_va(cpu_if));
HANDLE_FUNC(__vgic_v3_save_aprs),
__vgic_v3_save_aprs(s_cpu_if);
kvm_call_hyp(__vgic_v3_save_aprs, cpu_if);