write_vga         165 drivers/video/console/vgacon.c 	write_vga(12, (c->vc_visible_origin - vga_vram_base) / 2);
write_vga         719 drivers/video/console/vgacon.c 		write_vga(14, (c->vc_pos - vga_vram_base) / 2);
write_vga         728 drivers/video/console/vgacon.c 		write_vga(14, (c->vc_pos - vga_vram_base) / 2);