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