I am connecting three interrupt signals from PL to PS IRQ_F2P[15:8].
The Port tab in XPS shows the IRQ bits as follows:
PORT IRQ_F2P = GPIO_SW_IP2INTC_Irpt & LEDs_4Bits_IP2INTC_Irpt & axi_timer_0_Interrupt
Table 7-3 in TRM states:
IRQF2P[15:8] is ID#91:84.
Where can I see how the three interrupt signals are connected to IRQF2P[15:8]?
After exporting to SDK, you can check the IRQ ID# in the parameters.h file.
In this case, the interrupt signals are assigned as below:
#define XPAR_FABRIC_GPIO_SW_IP2INTC_IRPT_INTR 91
#define XPAR_FABRIC_LEDS_4BITS_IP2INTC_IRPT_INTR 90
#define XPAR_FABRIC_AXI_TIMER_0_INTERRUPT_INTR 89
The connection between PL and PS is as below.
IRQ_F2P - IRQ_F2P ID#91
IRQ_F2P[1:0] - IRQ_F2P[15:14] ID#91:90
IRQ_F2P[2:0] - IRQ_F2P[15:13] ID#91:89