Symbol: IFPGA_INTRNUM_PCIINT0
sys/arch/evbarm/ifpga/ifpga_pci.c
336
snprintf(buf, len, "pciint%" PRIu64, ih - IFPGA_INTRNUM_PCIINT0);
sys/arch/evbarm/integrator/pci_machdep.c
52
*iline = IFPGA_INTRNUM_PCIINT0