Searched refs:tsl (Results 1 – 1 of 1) sorted by relevance
154 unsigned long tsl = kvmppc_get_gpr(vcpu, paramnr+(2*i)+1); in kvmppc_h_pr_bulk_remove() local190 ((flags & H_AVPN) && (pte[0] & ~0x7fUL) != tsl) || in kvmppc_h_pr_bulk_remove()191 ((flags & H_ANDCOND) && (pte[0] & tsl) != 0)) { in kvmppc_h_pr_bulk_remove()