rax            0xffffffff	4294967295
rbx            0x17	23
rcx            0x1	1
rdx            0x17	23
rsi            0x252b120	38973728
rdi            0x2560280	39191168
rbp            0x1	0x1
rsp            0x7fff6b109eb0	0x7fff6b109eb0
r8             0x252f600	38991360
r9             0x0	0
r10            0x0	0
r11            0x0	0
r12            0x252f600	38991360
r13            0x0	0
r14            0x1	1
r15            0x241cf58	37867352
rip            0x7fd4ed2408cb	0x7fd4ed2408cb <pa_fdsem_get+11>
eflags         0x10202	[ IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0