/printf(&quot;PIC8259::setPendingInterrupt(), highestInt=%d, servicingInt=%d\n&quot;, highestInt, servicingInt);</span></div>
<div class="line"><a id="l00173" name="l00173"></a><span class="lineno">  173</span>  <span class="keywordflow">if</span> (highestInt &lt; servicingInt) {</div>
<div class="line"><a id="l00174" name="l00174"></a><span class="lineno">  174</span>    <span class="comment">// interrupt in IRR has higher priority than the servicing one</span></div>
<div class="line"><a id="l00175" name="