tag	line	file	source code
eb	1879	drivers/isdn/isdn_tty.c	char eb[2];
eb	1892	drivers/isdn/isdn_tty.c	eb[0] = c;
eb	1893	drivers/isdn/isdn_tty.c	eb[1] = 0;
eb	1894	drivers/isdn/isdn_tty.c	isdn_tty_at_cout(eb, info);
eb	1913	drivers/isdn/isdn_tty.c	eb[0] = c;
eb	1914	drivers/isdn/isdn_tty.c	eb[1] = 0;
eb	1915	drivers/isdn/isdn_tty.c	isdn_tty_at_cout(eb, info);