tag	line	file	source code
video_port_status	314	drivers/char/vga.c	unsigned short video_port_status = video_port_reg + 6;
video_port_status	439	drivers/char/vga.c	inb_p( video_port_status );  /* clear address flip-flop */
video_port_status	444	drivers/char/vga.c	inb_p( video_port_status );