Hi guys:

Where can I find user-space registers in an x86-64 kernel dump?

thanks!