kvm_has_ras
else if (kvm_has_ras(kern_hyp_va(vcpu->kvm)))
return kvm_has_ras(kern_hyp_va(vcpu->kvm));
if (kvm_has_ras(kvm))