Symbol: vcctty_tx_intr
sys/arch/sparc64/dev/vcctty.c
121
IPL_TTY, 0, vcctty_tx_intr, sc, sc->sc_dv.dv_xname);
sys/arch/sparc64/dev/vcctty.c
82
int vcctty_tx_intr(void *);