X86_64_REGISTER_ES
_AddIntegerRegister(X86_64_REGISTER_ES, "es", B_UINT16_TYPE,
X86_64_REGISTER_ES,
x64State->es = IntRegisterValue(X86_64_REGISTER_ES);
SetIntRegister(X86_64_REGISTER_ES, state.es);