kd_mksound_timer  259 drivers/tty/vt/keyboard.c static DEFINE_TIMER(kd_mksound_timer, kd_nosound);
kd_mksound_timer  263 drivers/tty/vt/keyboard.c 	del_timer_sync(&kd_mksound_timer);
kd_mksound_timer  268 drivers/tty/vt/keyboard.c 		mod_timer(&kd_mksound_timer, jiffies + ticks);