keyboard_tasklet 1002 drivers/tty/vt/keyboard.c 	tasklet_disable(&keyboard_tasklet);
keyboard_tasklet 1007 drivers/tty/vt/keyboard.c 	tasklet_enable(&keyboard_tasklet);
keyboard_tasklet 1239 drivers/tty/vt/keyboard.c DECLARE_TASKLET_DISABLED(keyboard_tasklet, kbd_bh, 0);
keyboard_tasklet 1505 drivers/tty/vt/keyboard.c 	tasklet_schedule(&keyboard_tasklet);
keyboard_tasklet 1579 drivers/tty/vt/keyboard.c 	tasklet_disable(&keyboard_tasklet);
keyboard_tasklet 1584 drivers/tty/vt/keyboard.c 	tasklet_enable(&keyboard_tasklet);
keyboard_tasklet 1634 drivers/tty/vt/keyboard.c 	tasklet_enable(&keyboard_tasklet);
keyboard_tasklet 1635 drivers/tty/vt/keyboard.c 	tasklet_schedule(&keyboard_tasklet);
keyboard_tasklet    9 include/linux/kbd_kern.h extern struct tasklet_struct keyboard_tasklet;
keyboard_tasklet   80 include/linux/kbd_kern.h 	tasklet_schedule(&keyboard_tasklet);