tag	line	file	source code
default_kleds	63	kernel/chr_drv/console.c	extern unsigned char default_kleds;
default_kleds	875	kernel/chr_drv/console.c	kleds    = default_kleds;
default_kleds	883	kernel/chr_drv/console.c	kbdleds    = default_kleds;
default_kleds	50	kernel/chr_drv/keyboard.c	unsigned char default_kleds = KBD_DEFLOCK;