taglinefilesource code
scc_txint113drivers/char/scc.cstatic void scc_txint(register struct scc_channel *scc);
scc_txint484drivers/char/scc.ccase TXINT: scc_txint(scc); break;
scc_txint1130drivers/char/scc.cscc_txint(scc);