Lines Matching refs:vadr
1000 u64 vcpu_thash(struct kvm_vcpu *vcpu, u64 vadr)
1008 vrr.val = vcpu_get_rr(vcpu, vadr);
1009 vhpt_offset = ((vadr >> vrr.ps) << 3) & ((1UL << (vpta.size)) - 1);
1011 pval = ia64_call_vsa(PAL_VPS_THASH, vadr, vrr.val,
1014 pval = (vadr & VRN_MASK) | vhpt_offset |
1020 u64 vcpu_ttag(struct kvm_vcpu *vcpu, u64 vadr)
1027 vrr.val = vcpu_get_rr(vcpu, vadr);
1029 pval = ia64_call_vsa(PAL_VPS_TTAG, vadr, vrr.val,
1037 u64 vcpu_tak(struct kvm_vcpu *vcpu, u64 vadr)
1048 data = vtlb_lookup(vcpu, vadr, D_TLB);
1059 unsigned long thash, vadr;
1061 vadr = vcpu_get_gr(vcpu, inst.M46.r3);
1062 thash = vcpu_thash(vcpu, vadr);
1068 unsigned long tag, vadr;
1070 vadr = vcpu_get_gr(vcpu, inst.M46.r3);
1071 tag = vcpu_ttag(vcpu, vadr);
1075 int vcpu_tpa(struct kvm_vcpu *vcpu, u64 vadr, unsigned long *padr)
1090 data = vhpt_lookup(vadr);
1094 data_page_not_present(vcpu, vadr);
1098 dnat_page_consumption(vcpu, vadr);
1102 (vadr & (PSIZE(data->ps) - 1));
1107 data = vtlb_lookup(vcpu, vadr, D_TLB);
1111 data_page_not_present(vcpu, vadr);
1115 dnat_page_consumption(vcpu, vadr);
1119 | (vadr & (PSIZE(data->ps) - 1));
1123 if (!vhpt_enabled(vcpu, vadr, NA_REF)) {
1126 alt_dtlb(vcpu, vadr);
1135 dvhpt_fault(vcpu, vadr);