get_pteg_addr
pteg = get_pteg_addr(vcpu, tsh & H_BULK_REMOVE_PTEX);
pteg = get_pteg_addr(vcpu, pte_index);
pteg_addr = get_pteg_addr(vcpu, pte_index);