kvm_call_hyp_ret
ret = kvm_call_hyp_ret(__kvm_vcpu_run, vcpu);
u64 ich_vtr_el2 = kvm_call_hyp_ret(__vgic_v3_get_gic_config);
ich_vtr_el2 = kvm_call_hyp_ret(__vgic_v3_get_gic_config);