GS.PT = PT_REG) or (TMP_HEADER.SECINFO.FLAGS.PT = PT_TCS) or</p>
<p>(TMP_HEADER.SECINFO.FLAGS.PT = PT_TRIM) )</p>
<p>THEN</p>
<p>IF ( DS:TMP_SECS is not 4KByte aligned)</p>
<p>THEN #GP(0) FI;</p>
<p>IF (DS:TMP_SECS does not resolve within an EPC)</p>
<p>THEN #PF(DS:TMP_SECS) FI;</p>
<p>IF ( Other instructions modifying SECS)</p>
<p>THEN</p>
<p>IF ((EAX==07h) OR (EAX==08h)) (* ELDB/ELDU *)</p>
<p>#GP(0);</p>
<p>FI;</p>
<p>ELSE (* ELDBC/ELDUC *)</p>
<p>RFLAGS.ZF ← 1;</p>
<p>RFLAGS.CF ← 0;</p>
<p>RAX ← S