tag	line	file	source code
LED_MASK	935	kernel/chr_drv/console.c	(kbd_table[currcons].flags & ~LED_MASK) |
LED_MASK	936	kernel/chr_drv/console.c	(kbd_table[currcons].default_flags & LED_MASK);
LED_MASK	678	kernel/chr_drv/keyboard.c	unsigned char leds = kbd_table[fg_console].flags & LED_MASK;