UC_STRICT_RESTORE_SS
flags |= UC_STRICT_RESTORE_SS;
if (unlikely(!(uc_flags & UC_STRICT_RESTORE_SS) && user_64bit_mode(regs)))
if (!!(ctx->uc_flags & UC_STRICT_RESTORE_SS) != was_64bit) {
if (ctx->uc_flags & UC_STRICT_RESTORE_SS) {
if (!(ctx->uc_flags & UC_STRICT_RESTORE_SS)) {
ctx->uc_flags &= ~UC_STRICT_RESTORE_SS;