1179 int vt_get_leds(unsigned int console, int flag)  in vt_get_leds()
1201 void vt_set_led_state(unsigned int console, int leds)  in vt_set_led_state()
1220 void vt_kbd_con_start(unsigned int console)  in vt_kbd_con_start()
1237 void vt_kbd_con_stop(unsigned int console)  in vt_kbd_con_stop()
1836 int vt_do_kdskbmode(unsigned int console, unsigned int arg)  in vt_do_kdskbmode()
1876 int vt_do_kdskbmeta(unsigned int console, unsigned int arg)  in vt_do_kdskbmeta()
2019 						unsigned int console)  in vt_do_kdsk_ioctl()
2111 int vt_do_kdskled(unsigned int console, int cmd, unsigned long arg, int perm)  in vt_do_kdskled()
2153 int vt_do_kdgkbmode(unsigned int console)  in vt_do_kdgkbmode()
2177 int vt_do_kdgkbmeta(unsigned int console)  in vt_do_kdgkbmeta()
2190 void vt_reset_unicode(unsigned int console)  in vt_reset_unicode()
2218 void vt_reset_keyboard(unsigned int console)  in vt_reset_keyboard()
2248 int vt_get_kbd_mode_bit(unsigned int console, int bit)  in vt_get_kbd_mode_bit()
2263 void vt_set_kbd_mode_bit(unsigned int console, int bit)  in vt_set_kbd_mode_bit()
2282 void vt_clr_kbd_mode_bit(unsigned int console, int bit)  in vt_clr_kbd_mode_bit()