Symbol: tcpci_intr
sys/dev/fdt/tcpci.c
181
int tcpci_intr(void *);
sys/dev/fdt/tcpci.c
236
tcpci_intr, sc, sc->sc_dev.dv_xname);