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