vga_io_r          239 include/video/vga.h 		return vga_io_r (port);
vga_io_r          284 include/video/vga.h         return vga_io_r (VGA_CRT_DC);
vga_io_r          337 include/video/vga.h         return vga_io_r (VGA_SEQ_D);
vga_io_r          389 include/video/vga.h         return vga_io_r (VGA_GFX_D);
vga_io_r          438 include/video/vga.h         return vga_io_r (VGA_ATT_R);