VGABASE
writew(readw(VGABASE+2*(max_xpos*k+i)),
VGABASE + 2*(max_xpos*j + i));
writew(0x720, VGABASE + 2*(max_xpos*j + i));
VGABASE + 2*(max_xpos*current_ypos +