CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT
ctl |= _MASKED_BIT_DISABLE(CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT);
ctl |= CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT;
_MASKED_BIT_ENABLE(CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT);
IS_MASKED_BITS_ENABLED(a, CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT)
CTX_CTRL_ENGINE_CTX_RESTORE_INHIBIT);