rId</td><td>is the unique device ID of the interrupt controller. </td></tr>
    <tr><td class="paramname">DpIntrId</td><td>is the interrupt ID of the DisplayPort RX connection to the interrupt controller. </td></tr>
    <tr><td class="paramname">TimerCounterPtr</td><td>is a pointer to the timer instance. </td></tr>
    <tr><td class="paramname">TimerId</td><td>is the ID of the timer controller to use for delays.</td></tr>
  </table>
  </dd>
</dl>
<dl class="section return"><dt>Returns</dt><dd><ul>
<li>XST_S