vga_io_r          261 include/video/vga.h 		return vga_io_r (port);
vga_io_r          306 include/video/vga.h         return vga_io_r (VGA_CRT_DC);
vga_io_r          359 include/video/vga.h         return vga_io_r (VGA_SEQ_D);
vga_io_r          411 include/video/vga.h         return vga_io_r (VGA_GFX_D);
vga_io_r          460 include/video/vga.h         return vga_io_r (VGA_ATT_R);