HL_CS_FLAGS_FORCE_RESTORE
if (do_ctx_switch || (args->in.cs_flags & HL_CS_FLAGS_FORCE_RESTORE)) {
~HL_CS_FLAGS_FORCE_RESTORE);