tTopLevelIntrTblSize()
: <a class="el" href="group__xilplmi__server__apis.html#ga71713ed0ed7bf2f5f6094008105f61d9">2ve_2vm/xplmi_plat.h</a>
</li>
<li>XPlmi_GetTraceLogInst()
: <a class="el" href="group__xilplmi__server__apis.html#ga84e885653f47cf147ac3325e1d07cdc7">2ve_2vm/xplmi_plat.h</a>
</li>
<li>XPlmi_GetUartBaseAddr()
: <a class="el" href="group__xilplmi__server__apis.html#ga1f827dead46c0135f8bea6b0f0bf223d">2ve_2vm/xplmi_plat.h</a>
</li>
<li>XPlmi_GicAddTask()
: <a class="el" href="group__xilplmi__ser