rax            0x1	1
rbx            0x20d51c0	34427328
rcx            0x0	0
rdx            0x6c	108
rsi            0x1	1
rdi            0x20b63c0	34300864
rbp            0x4	0x4
rsp            0x7fff92a80940	0x7fff92a80940
r8             0x2068b20	33983264
r9             0x885	2181
r10            0x7fff92a80780	140735653873536
r11            0x7f04e75450c0	139659037659328
r12            0x1	1
r13            0x7fff92a809d0	140735653874128
r14            0x7f04e5ac3610	139659009865232
r15            0x1	1
rip            0x7f04e2fed3d2	0x7f04e2fed3d2 <SmcSetProperties+66>
eflags         0x10206	[ PF IF RF ]
cs             0x33	51
ss             0x2b	43
ds             0x0	0
es             0x0	0
fs             0x0	0
gs             0x0	0