taglinefilesource code
ESnormal1263drivers/char/console.cvc_state  = ESnormal;
ESnormal1413drivers/char/console.cif (vc_state == ESnormal && ok) {
ESnormal1468drivers/char/console.cvc_state = ESnormal;
ESnormal1482drivers/char/console.cvc_state = ESnormal;
ESnormal1554drivers/char/console.cvc_state = ESnormal;
ESnormal1682drivers/char/console.cvc_state = ESnormal;
ESnormal1697drivers/char/console.cvc_state = ESnormal;
ESnormal1700drivers/char/console.cvc_state = ESnormal;
ESnormal1721drivers/char/console.cvc_state = ESnormal;
ESnormal1734drivers/char/console.cvc_state = ESnormal;
ESnormal1737drivers/char/console.cvc_state = ESnormal;