Check concurrency of EPC and VASLOT by other Intel SGX instructions *)</p>
<p>IF (Other instructions modifying VA slot)</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 ← SGX_EPC_PAGE_CONFLICT;</p>
<p>GOTO ERROR_EXIT;</p>
<p>FI;</p>
<p>(* Verify EPCM attributes of EPC page, VA, and SECS *)</p>
<p>IF (EPCM(DS:RCX).VALID = 1)</p>
<p>THEN #PF(DS:RCX); FI;</p>
<p>IF ( (EPCM(DS:RDX