taglinefilesource code
ESgotpars1041kernel/chr_drv/console.c} else state=ESgotpars;
ESgotpars1042kernel/chr_drv/console.ccase ESgotpars: