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