__vgic_v3_restore_vmcr_aprs
void __vgic_v3_restore_vmcr_aprs(struct vgic_v3_cpu_if *cpu_if);
kvm_call_hyp(__vgic_v3_restore_vmcr_aprs,
__vgic_v3_restore_vmcr_aprs(kern_hyp_va(cpu_if));
HANDLE_FUNC(__vgic_v3_restore_vmcr_aprs),
__vgic_v3_restore_vmcr_aprs(cpu_if);
kvm_call_hyp(__vgic_v3_restore_vmcr_aprs, cpu_if);