1122 int vt_get_leds(int console, int flag)  in vt_get_leds()
1144 void vt_set_led_state(int console, int leds)  in vt_set_led_state()
1163 void vt_kbd_con_start(int console)  in vt_kbd_con_start()
1180 void vt_kbd_con_stop(int console)  in vt_kbd_con_stop()
1784 int vt_do_kdskbmode(int console, unsigned int arg)  in vt_do_kdskbmode()
1824 int vt_do_kdskbmeta(int console, unsigned int arg)  in vt_do_kdskbmeta()
1873 						int console)  in vt_do_kdsk_ioctl()
2090 int vt_do_kdskled(int console, int cmd, unsigned long arg, int perm)  in vt_do_kdskled()
2132 int vt_do_kdgkbmode(int console)  in vt_do_kdgkbmode()
2156 int vt_do_kdgkbmeta(int console)  in vt_do_kdgkbmeta()
2169 void vt_reset_unicode(int console)  in vt_reset_unicode()
2197 void vt_reset_keyboard(int console)  in vt_reset_keyboard()
2227 int vt_get_kbd_mode_bit(int console, int bit)  in vt_get_kbd_mode_bit()
2242 void vt_set_kbd_mode_bit(int console, int bit)  in vt_set_kbd_mode_bit()
2261 void vt_clr_kbd_mode_bit(int console, int bit)  in vt_clr_kbd_mode_bit()