N</p>
<p>VMCS.Exit_reason ← SGX_CONFLICT;</p>
<p>VMCS.Exit_qualification.code ← EPC_PAGE_CONFLICT_ERROR;</p>
<p>VMCS.Exit_qualification.error ← SGX_EPC_PAGE_CONFLICT;</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>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>FI;</p>
<p>FI;</p>
<p>(* 