get_vcpu_asce
rc = get_vcpu_asce(vcpu, &asce, gva, ar, mode);
rc = get_vcpu_asce(vcpu, &asce, ga, ar, mode);