r0 = gettid() rt_sigqueueinfo(r0, 0x20000010, &(0x7f0000000080))