38     CheckStep(1);  in ThreadMutex()
40     EXPECT_EQ(CheckStep(2), (uint64_t)0x12);  in ThreadMutex()
73     CheckStep(1);  in ThreadMtrylock1()
75     CheckStep(4);  in ThreadMtrylock1()
77     CheckStep(5);  in ThreadMtrylock1()
85     CheckStep(2);  in ThreadMtrylock2()
87     CheckStep(3);  in ThreadMtrylock2()
109     EXPECT_EQ(CheckStep(6), (uint64_t)0x123456);
191     CheckStep(1);  in ThreadPthreadMtimedlockOut()
195     CheckStep(3);  in ThreadPthreadMtimedlockOut()
216     CheckStep(2);
218     CheckStep(4);
222     EXPECT_EQ(CheckStep(5), (uint64_t)0x12345);
233     CheckStep(1);  in ThreadPthreadMtimedlockNoOut()
236     CheckStep(3);  in ThreadPthreadMtimedlockNoOut()
253     CheckStep(2);
257     EXPECT_EQ(CheckStep(4), (uint64_t)0x1234);
492     CheckStep(1);  in ThreadSpinlock()
494     EXPECT_EQ(CheckStep(2), (uint64_t)0x12);  in ThreadSpinlock()
527     CheckStep(1);  in ThreadSpinTrylock1()
529     CheckStep(4);  in ThreadSpinTrylock1()
531     CheckStep(5);  in ThreadSpinTrylock1()
539     CheckStep(2);  in ThreadSpinTrylock2()
541     CheckStep(3);  in ThreadSpinTrylock2()
564     EXPECT_EQ(CheckStep(6), (uint64_t)0x123456);