Searched refs:tsl (Results 1 – 2 of 2) sorted by relevance
149 unsigned long tsl = kvmppc_get_gpr(vcpu, paramnr+(2*i)+1); in kvmppc_h_pr_bulk_remove() local182 ((flags & H_AVPN) && (pte[0] & ~0x7fUL) != tsl) || in kvmppc_h_pr_bulk_remove()183 ((flags & H_ANDCOND) && (pte[0] & tsl) != 0)) { in kvmppc_h_pr_bulk_remove()
44 u8 tsl; /* Time Stamp Lower Byte */ member