X86_64_REGISTER_DS
_AddIntegerRegister(X86_64_REGISTER_DS, "ds", B_UINT16_TYPE,
X86_64_REGISTER_DS,
x64State->ds = IntRegisterValue(X86_64_REGISTER_DS);
SetIntRegister(X86_64_REGISTER_DS, state.ds);