r0 = gettid()
capget(&(0x7f0000000080)={0x20080522, r0}, &(0x7f00000000c0))