Home | History | Annotate | Download | only in helgrind

Lines Matching refs:Lock_INVALID

119    for the LockN to be invalid, in which case Lock_INVALID is
148 Lock_INVALID right away. */
159 return Lock_INVALID;
193 Addr a1 = l1 == Lock_INVALID ? 0 : l1->guestaddr;
194 Addr a2 = l2 == Lock_INVALID ? 0 : l2->guestaddr;
203 are converted instead into the value Lock_INVALID. Hence the
241 non-Lock_INVALID elements. */
251 if (vec[n] != Lock_INVALID)
784 if (lk == Lock_INVALID)
846 if (locks[i] == Lock_INVALID)