cons_num           82 drivers/tty/vt/vc_screen.c 	unsigned int cons_num;
cons_num           95 drivers/tty/vt/vc_screen.c 	int currcons = poll->cons_num;
cons_num          140 drivers/tty/vt/vc_screen.c 	poll->cons_num = console(file_inode(file));