tag	line	file	source code
console_num	1386	drivers/char/console.c	int console_num;
console_num	1389	drivers/char/console.c	console_num = MINOR(tty->device) - (tty->driver.minor_start);
console_num	1390	drivers/char/console.c	if (!vc_cons_allocated(console_num))
console_num	1392	drivers/char/console.c	set_vc_kbd_led(kbd_table + console_num, VC_SCROLLOCK);
console_num	1401	drivers/char/console.c	int console_num;
console_num	1404	drivers/char/console.c	console_num = MINOR(tty->device) - (tty->driver.minor_start);
console_num	1405	drivers/char/console.c	if (!vc_cons_allocated(console_num))
console_num	1407	drivers/char/console.c	clr_vc_kbd_led(kbd_table + console_num, VC_SCROLLOCK);