 &amp; ~0FFFH).VALID = 0) or (EPCM(DS:RDX &amp; ~0FFFH).PT ≠ PT_VA) )</p>
<p>THEN #PF(DS:RDX); FI;</p>
<p>(* Copy PCMD into scratch buffer *)</p>
<p>SCRATCH_PCMD[1023: 0]←DS:TMP_PCMD[1023:0];</p>
<p>(* Zero out TMP_HEADER*)</p>
<p>TMP_HEADER[sizeof(TMP_HEADER)-1: 0]←0;</p>
<p>TMP_HEADER.SECINFO ← SCRATCH_PCMD.SECINFO;</p>
<p>TMP_HEADER.RSVD ← SCRATCH_PCMD.RSVD;</p>
<p>TMP_HEADER.LINADDR ← DS:RBX.LINADDR;</p>
<p>(* Verify various attributes of SECS parameter *)</p>
<p>IF ( (TMP_HEADER.SECINFO.FLA