taglinefilesource code
ESnormal1256drivers/char/console.cvc_state  = ESnormal;
ESnormal1387drivers/char/console.cvc_state = ESnormal;
ESnormal1405drivers/char/console.cif (vc_state == ESnormal && ok) {
ESnormal1458drivers/char/console.cvc_state = ESnormal;
ESnormal1472drivers/char/console.cvc_state = ESnormal;
ESnormal1544drivers/char/console.cvc_state = ESnormal;
ESnormal1672drivers/char/console.cvc_state = ESnormal;
ESnormal1687drivers/char/console.cvc_state = ESnormal;
ESnormal1690drivers/char/console.cvc_state = ESnormal;
ESnormal1711drivers/char/console.cvc_state = ESnormal;
ESnormal1724drivers/char/console.cvc_state = ESnormal;
ESnormal1727drivers/char/console.cvc_state = ESnormal;