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