S.Exit_reason ← SGX_CONFLICT;</p>
<p>VMCS.Exit_qualification.code ← EPC_PAGE_CONFLICT_EXCEPTION;</p>
<p>VMCS.Exit_qualification.error ← 0;</p>
<p>VMCS.Guest-physical_address ←</p>
<p>&lt;&lt; translation of DS:RCX produced by paging &gt;&gt;;</p>
<p>VMCS.Guest-linear_address ← DS:RCX;</p>
<p>Deliver VMEXIT;</p>
<p>ELSE</p>
<p>#GP(0);</p>
<p>FI;</p>
<p>ELSE (* ELDBC/ELDUC *)</p>
<p>IF (&lt;&lt;VMX non-root operation&gt;&gt; AND</p>
<p>&lt;&lt;ENABLE_EPC_VIRTUALIZATION_EXTENSIONS&gt;&gt;)</p>
<p>THE