rt_tgsigqueueinfo(0x0, 0x0, 0x0, &(0x7f0000000000))
r0 = getpid()
waitid(0x1, r0, 0x0, 0x4, &(0x7f0000000100))