vga_io_wattr      621 drivers/video/fbdev/vga16fb.c 		vga_io_wattr(i, atc[i]);
vga_io_wattr      645 drivers/video/fbdev/vga16fb.c 	vga_io_wattr(regno, val);