Symbol: dwpcie_armada8k_intr
sys/dev/fdt/dwpcie.c
1032
dwpcie_armada8k_intr, sc, sc->sc_dev.dv_xname);
sys/dev/fdt/dwpcie.c
339
int dwpcie_armada8k_intr(void *);