tag	line	file	source code
set_leds	1331	drivers/char/console.c	set_leds();
set_leds	1360	drivers/char/console.c	set_leds();
set_leds	1375	drivers/char/console.c	set_leds();
set_leds	2174	drivers/char/console.c	set_leds();
set_leds	1072	drivers/char/keyboard.c	set_leds();
set_leds	581	drivers/char/vt.c	set_leds();