X86_REGISTER_ECX
_AddIntegerRegister(X86_REGISTER_ECX, "ecx", B_UINT32_TYPE,
X86_REGISTER_ECX,
x86State->ecx = IntRegisterValue(X86_REGISTER_ECX);
SetIntRegister(X86_REGISTER_ECX, state.ecx);
context->values[ZYDIS_REGISTER_ECX] = state->IntRegisterValue(X86_REGISTER_ECX);