X86_REGISTER_EBX
_AddIntegerRegister(X86_REGISTER_EBX, "ebx", B_UINT32_TYPE,
X86_REGISTER_EBX,
x86State->ebx = IntRegisterValue(X86_REGISTER_EBX);
SetIntRegister(X86_REGISTER_EBX, state.ebx);
context->values[ZYDIS_REGISTER_EBX] = state->IntRegisterValue(X86_REGISTER_EBX);