NOT PT_SECS or PT_VA))</p>
<p>THEN</p>
<p>EPCM(DS:RCX).BLOCKED ← 1;</p>
<p>ELSE</p>
<p>EPCM(DS:RCX).BLOCKED ← 0;</p>
<p>FI;</p>
<p>IF (TMP_HEADER.SECINFO.FLAGS.PT is PT_SECS)</p>
<p>&lt;&lt; store translation of DS:RCX produced by paging in SECS(DS:RCX).ENCLAVECONTEXT &gt;&gt;</p>
<p>FI;</p>
<p>EPCM(DS:RCX). VALID←1;</p>
<p>RAX← 0;</p>
<p>RFLAGS.ZF ← 0;</p>
<p>ERROR_EXIT:</p>
<p>RFLAGS.CF,PF,AF,OF,SF ← 0;</p>
<h3 id="flags-affected">Flags Affected<a class="anchor" href="#flags-affected">
			¶
	