taglinefilesource code
ESnormal1265drivers/char/console.cvc_state  = ESnormal;
ESnormal1415drivers/char/console.cif (vc_state == ESnormal && ok) {
ESnormal1470drivers/char/console.cvc_state = ESnormal;
ESnormal1484drivers/char/console.cvc_state = ESnormal;
ESnormal1556drivers/char/console.cvc_state = ESnormal;
ESnormal1684drivers/char/console.cvc_state = ESnormal;
ESnormal1696drivers/char/console.cvc_state = ESnormal;
ESnormal1699drivers/char/console.cvc_state = ESnormal;
ESnormal1720drivers/char/console.cvc_state = ESnormal;
ESnormal1733drivers/char/console.cvc_state = ESnormal;
ESnormal1736drivers/char/console.cvc_state = ESnormal;