Lines Matching defs:vpta
1002 union ia64_pta vpta;
1007 vpta.val = vcpu_get_pta(vcpu);
1009 vhpt_offset = ((vadr >> vrr.ps) << 3) & ((1UL << (vpta.size)) - 1);
1010 if (vpta.vf) {
1012 vpta.val, 0, 0, 0, 0);
1015 (vpta.val << 3 >> (vpta.size + 3) << (vpta.size));
1023 union ia64_pta vpta;
1026 vpta.val = vcpu_get_pta(vcpu);
1028 if (vpta.vf) {
1040 union ia64_pta vpta;
1043 vpta.val = vcpu_get_pta(vcpu);
1044 if (vpta.vf == 0) {