CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT
ctl |= REG_MASKED_FIELD_DISABLE(CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT);
ctl |= CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT;
REG_MASKED_FIELD_ENABLE(CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT);
IS_MASKED_BITS_ENABLED(a, CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT)
CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT);