tag	line	file	source code
leds	1028	drivers/char/keyboard.c	unsigned char leds;
leds	1032	drivers/char/keyboard.c	leds = kbd->ledflagstate;
leds	1036	drivers/char/keyboard.c	leds |= 1;
leds	1038	drivers/char/keyboard.c	leds &= ~1;
leds	1042	drivers/char/keyboard.c	leds |= 2;
leds	1044	drivers/char/keyboard.c	leds &= ~2;
leds	1048	drivers/char/keyboard.c	leds |= 4;
leds	1050	drivers/char/keyboard.c	leds &= ~4;
leds	1053	drivers/char/keyboard.c	return leds;
leds	1071	drivers/char/keyboard.c	unsigned char leds = getleds();
leds	1073	drivers/char/keyboard.c	if (leds != ledstate) {
leds	1074	drivers/char/keyboard.c	ledstate = leds;
leds	1075	drivers/char/keyboard.c	if (!send_data(0xed) || !send_data(leds))