rax=0000000000000000 rbx=0000000000000000 rcx=fffffa800552b680 rdx=00000000000f001f rsi=0000000000000000 rdi=0000000000000000 rip=fffff80002fb43fa rsp=fffff880035854e0 rbp=0000000000000000 r8=fffff8a0033010f0 r9=00000000000000e8 r10=0000000000000000 r11=fffff8a0033010a0 r12=000000000000000...