r0 = gettid() r1 = getpid() rt_tgsigqueueinfo(r1, r0, 0xfffffffc, &(0x7f0000000340))