taglinefilesource code
vc_disallocate802drivers/char/vt.cvc_disallocate(i);
vc_disallocate809drivers/char/vt.cvc_disallocate(arg);
vc_disallocate27drivers/char/vt_kern.hvoid vc_disallocate(unsigned int console);