r0 = gettid()
kcmp(r0, r0, 0x2027f9f11da070ab, 0xffffffffffffffff, 0xffffffffffffffff)