[('rax', ctypes.c_uint64), ('rbx', ctypes.c_uint64), ('rcx', ctypes.c_
uint64), ('rdx', ctypes.c_uint64), ('rdi', ctypes.c_uint64), ('rsi', c
types.c_uint64), ('rbp', ctypes.c_uint64), ('rsp', ctypes.c_uint64), (
'r8', ctypes.c_uint64), ('r9', ctypes.c_uint64), ('r10', ctypes.c_uint
64), ('r11', ctypes.c_uint64), ('r12', ctypes.c_uint64), ('r13', ctype
s.c_uint64), ('r14', ctypes.c_uint64), ('r15', ctypes.c_uint64), ('rip
', ctypes.c_uint64), ('rflags', ctypes.c_uint64), ('cs', ctypes.c_uint
64), ('fs', ctypes.c_uint64), ('gs', ctypes.c_uint64),]
|