Процедуры проверок являются функциями:

1. Для загрузки сегментов данных - типа загружаемого селектора:
   
• DS, ES, FS, GS
• SS
  
  
2. Для переходов:
   • типа целевого сегмента перехода (подчиненного, неподчиненного);
   • выбранного обработчика механизма перехода (передачу управления, переключение задач),
   • средств перехода (команду JMP, CALL типа FAR, RET, RET n, команду вызова прерываний, прерывания, ловушки).

Комбинации указанных аргументов определяют условия корректности:

• межуровневого доступа к данным;
• межуровневых переходов с изменением уровня привилегий.