Symbol: auglx_intr
sys/dev/pci/auglx.c
255
int auglx_intr(void *);
sys/dev/pci/auglx.c
304
auglx_intr, sc, sc->sc_dev.dv_xname);