tag	line	file	source code
leds	1133	drivers/char/keyboard.c	unsigned char leds;
leds	1137	drivers/char/keyboard.c	leds = kbd->ledflagstate;
leds	1141	drivers/char/keyboard.c	leds |= 1;
leds	1143	drivers/char/keyboard.c	leds &= ~1;
leds	1147	drivers/char/keyboard.c	leds |= 2;
leds	1149	drivers/char/keyboard.c	leds &= ~2;
leds	1153	drivers/char/keyboard.c	leds |= 4;
leds	1155	drivers/char/keyboard.c	leds &= ~4;
leds	1158	drivers/char/keyboard.c	return leds;
leds	1176	drivers/char/keyboard.c	unsigned char leds = getleds();
leds	1178	drivers/char/keyboard.c	if (leds != ledstate) {
leds	1179	drivers/char/keyboard.c	ledstate = leds;
leds	1180	drivers/char/keyboard.c	if (!send_data(0xed) || !send_data(leds))