Symbol: mvkpcie_intc_intr
sys/dev/fdt/mvkpcie.c
1094
mvkpcie_intc_intr, sc, sc->sc_dev.dv_xname);
sys/dev/fdt/mvkpcie.c
249
int mvkpcie_intc_intr(void *);