X86_64_REGISTER_R12
_AddIntegerRegister(X86_64_REGISTER_R12, "r12", B_UINT64_TYPE,
X86_64_REGISTER_R12,
x64State->r12 = IntRegisterValue(X86_64_REGISTER_R12);
SetIntRegister(X86_64_REGISTER_R12, state.r12);
context->values[ZYDIS_REGISTER_R12] = state->IntRegisterValue(X86_64_REGISTER_R12);