    ELSE (* HLE_NEST_COUNT = MAX_HLE_NEST_COUNT *)
                GOTO HLE_ABORT_PROCESSING
        FI;
    ELSE
        Treat instruction as non-XACQUIRE F2H prefixed legacy instruction
FI;
</pre>
<h3 id="xrelease">XRELEASE<a class="anchor" href="#xrelease">
			¶
		</a></h3>
<pre>IF XRELEASE-enabled instruction
    THEN
        IF (HLE_NEST_COUNT &gt; 0)
            THEN
                HLE_NEST_COUNT--
                IF lock address matches in elision buffer THEN
                    IF lock satisfies a