Symbol: ARMADAXP_IRQ_SOURCES
sys/arch/arm/marvell/armadaxp.c
543
for (i = 0; i < ARMADAXP_IRQ_SOURCES; i++)
sys/arch/arm/marvell/armadaxp.c
589
armadaxp_pic.pic_maxsources = ARMADAXP_IRQ_SOURCES;