rax            0x0	0
rbx            0x0	0
rcx            0x7f24f8000030	139796756299824
rdx            0x7f24f801c720	139796756416288
rsi            0x1	1
rdi            0x0	0
rbp            0x7f25366caeee	0x7f25366caeee
rsp            0x7f2511a048f8	0x7f2511a048f8
r8             0x0	0
r9             0x0	0
r10            0x0	0
r11            0x0	0
r12            0x7f24f8004ee0	139796756319968
r13            0x8	8
r14            0x8	8
r15            0x3	3
rip            0x7f2535c621e0	0x7f2535c621e0 <sem_post>
eflags         0x10206	[ PF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0