INTEL_CURSOR_POSITION
int32 x = read32(INTEL_CURSOR_POSITION);
write32(INTEL_CURSOR_POSITION, (y << 16) | x);