Symbol: XINT3_SINTD
sys/arch/evbarm/iq80310/iq80310_pci.c
218
*ihp = XINT3_IRQ(XINT3_SINTD);
sys/arch/evbarm/iq80310/iq80310_pci.c
224
*ihp = XINT3_IRQ(XINT3_SINTD);