r0 = gettid()
r1 = gettid()
kcmp(r1, r0, 0x1, 0xffffffffffffffff, 0xffffffffffffffff)