E</p>
<p>DS:RDX← TMP_VER;</p>
<p>FI;</p>
<p>(* Commit EPCM changes *)</p>
<p>EPCM(DS:RCX).PT ← TMP_HEADER.SECINFO.FLAGS.PT;</p>
<p>EPCM(DS:RCX).RWX ← TMP_HEADER.SECINFO.FLAGS.RWX;</p>
<p>EPCM(DS:RCX).PENDING ← TMP_HEADER.SECINFO.FLAGS.PENDING;</p>
<p>EPCM(DS:RCX).MODIFIED ← TMP_HEADER.SECINFO.FLAGS.MODIFIED;</p>
<p>EPCM(DS:RCX).PR ← TMP_HEADER.SECINFO.FLAGS.PR;</p>
<p>EPCM(DS:RCX).ENCLAVEADDRESS ← TMP_HEADER.LINADDR;</p>
<p>IF ( ((EAX = 07H) or (EAX = 12H)) and (TMP_HEADER.SECINFO.FLAGS.PT is 