Symbol: write_vga
drivers/video/console/vgacon.c
136
write_vga(12, (c->vc_visible_origin - vga_vram_base) / 2);
drivers/video/console/vgacon.c
517
write_vga(14, (c->vc_pos - vga_vram_base) / 2);