Lines Matching defs:l0

143   uptr l0 = d.newNode(0);
150 // l0=>l1=>l2
151 d.onLock(&dtls, l0);
155 d.onUnlock(&dtls, l0);
166 locks.insert(l0);
180 // l2=>l0
182 EXPECT_TRUE(d.onLock(&dtls, l0));
184 d.onUnlock(&dtls, l0);
196 // make sure no edges from or to l0,l1,l4,l5 left.
201 // l0 => lt?
202 a = l0; b = lt;
260 uptr l0 = d.newNode(0);
262 d.onLock(&dtls, l0);
264 d.onUnlock(&dtls, l0);
277 EXPECT_DEATH(d.onLock(&dtls, l0), "CHECK failed.*current_epoch_");
302 uptr l0 = d.newNode(0);
306 d.onLock(&dtls, l0);
326 uptr l0 = d.newNode(0);
329 EXPECT_FALSE(d.onLock(&dtls, l0));
332 EXPECT_TRUE(d.isHeld(&dtls, l0));
335 EXPECT_FALSE(d.testOnlyHasEdge(l0, l1));
337 d.onUnlock(&dtls, l0);
353 uptr l0 = d.newNode(0);
355 EXPECT_FALSE(d.onFirstLock(&dtls, l0)); // dtls has old epoch.
356 d.onLock(&dtls, l0);
357 d.onUnlock(&dtls, l0);
359 EXPECT_TRUE(d.onFirstLock(&dtls, l0)); // Ok, same ecpoch, first lock.
363 d.onUnlock(&dtls, l0);
365 EXPECT_TRUE(d.onFirstLock(&dtls, l0)); // Ok
366 d.onUnlock(&dtls, l0);
372 EXPECT_TRUE(d.onFirstLock(&dtls, l0)); // Epoch has changed, but not in dtls.
378 EXPECT_FALSE(d.onFirstLock(&dtls, l0)); // Epoch has changed in dtls.
391 uptr l0 = d.newNode(0);
396 EXPECT_FALSE(d.onLock(&dtls, l0));
398 EXPECT_FALSE(d.onLock(&dtls, l0)); // Recurisve.
400 d.onUnlock(&dtls, l0);
402 d.onUnlock(&dtls, l0);
406 EXPECT_TRUE(d.testOnlyHasEdge(l0, l1));
407 EXPECT_TRUE(d.testOnlyHasEdge(l0, l2));
408 EXPECT_TRUE(d.testOnlyHasEdge(l0, l3));
421 uptr l0 = d.newNode(0);
426 EXPECT_FALSE(d.onLock(&dtls, l0, 10));
430 EXPECT_EQ(10U, d.findLockContext(&dtls, l0));
434 d.onUnlock(&dtls, l0);
435 EXPECT_EQ(0U, d.findLockContext(&dtls, l0));
440 EXPECT_EQ(0U, d.findLockContext(&dtls, l0));