Процессор i486 имеет две команды, VERR и VERW, которые определяют, указывает ли селектор сегмента на сегмент, который доступен для чтения или записи для текущего CPL. Ни одна их этих команд не вызывает защитного исключения, если сегмент недоступен.
VERR (Верификация доступности чтения) выполняет верификацию доступности сегмента для чтения и устанавливает флаг ZF, если для текущего CPL этот сегмент доступен для чтения. Команда VERR проверяет следующее:
- Селектор сегмента указывает на дескриптор сегмента в пределах границ GDT или LDT.
- Селектор сегмента индексирует дескриптор сегмента кода или данных.
- Сегмент доступен для чтения и имеет совместимый уровень привилегированности.
Проверка привилегированности для сегментов данных и не-конформных кодовых сегментов удостоверяет, что DPL имеет меньший уровень привилегированности, чем CPL или RPL селектора. Конформные сегменты на уровень привилегированности не проверяются.
VERW (Верификация доступности записи) аналогична команде VERR : она выполняет верификацию доступности сегмента для записи и устанавливает флаг ZF, если этот сегмент доступен для чтения. Команда VERW удостоверяет, что дескриптор попадает в нужные границы, действительно является дескриптором сегмента, сегмент доступен для чтения и имеет DPL с менее привилегированным уровнем, нежели CPL или RPL селектора. Кодовые сегменты никогда не бывают доступными для записи: как конформные, так и не-конформные.
