__vgic_v5_restore_vmcr_apr
void __vgic_v5_restore_vmcr_apr(struct vgic_v5_cpu_if *cpu_if);
__vgic_v5_restore_vmcr_apr(kern_hyp_va(cpu_if));
HANDLE_FUNC(__vgic_v5_restore_vmcr_apr),
kvm_call_hyp(__vgic_v5_restore_vmcr_apr, cpu_if);