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