tag	line	file	source code
video_port_status	2398	drivers/char/console.c	unsigned short video_port_status = video_port_reg + 6;
video_port_status	2487	drivers/char/console.c	inb_p( video_port_status );  /* clear address flip-flop */
video_port_status	2492	drivers/char/console.c	inb_p( video_port_status );