static void vnc_copy(VncState *vs, int src_x, int src_y, int dst_x, int dst_y, int w, int h)

{

    /* send bitblit op to the vnc client */

    vnc_lock_output(vs);

    vnc_write_u8(vs, VNC_MSG_SERVER_FRAMEBUFFER_UPDATE);

    vnc_write_u8(vs, 0);

    vnc_write_u16(vs, 1); /* number of rects */

    vnc_framebuffer_update(vs, dst_x, dst_y, w, h, VNC_ENCODING_COPYRECT);

    vnc_write_u16(vs, src_x);

    vnc_write_u16(vs, src_y);

    vnc_unlock_output(vs);

    vnc_flush(vs);

}

static void vnc_copy(VncState *vs, int src_x, int src_y, int dst_x, int dst_y, int w, int h)

{

    

    vnc_lock_output(vs);

    vnc_write_u8(vs, VNC_MSG_SERVER_FRAMEBUFFER_UPDATE);

    vnc_write_u8(vs, 0);

    vnc_write_u16(vs, 1); 

    vnc_framebuffer_update(vs, dst_x, dst_y, w, h, VNC_ENCODING_COPYRECT);

    vnc_write_u16(vs, src_x);

    vnc_write_u16(vs, src_y);

    vnc_unlock_output(vs);

    vnc_flush(vs);

}

static void vnc_copy(VncState *vs, int src_x, int src_y, int dst_x, int dst_y, int w, int h)     vnc_lock_output(vs);     vnc_write_u8(vs, VNC_MSG_SERVER_FRAMEBUFFER_UPDATE);     vnc_write_u8(vs, 0);     vnc_framebuffer_update(vs, dst_x, dst_y, w, h, VNC_ENCODING_COPYRECT);     vnc_write_u16(vs, src_x);     vnc_write_u16(vs, src_y);     vnc_unlock_output(vs);     vnc_flush(vs);
static void FUNC_0(VncState *VAR_0, int VAR_1, int VAR_2, int VAR_3, int VAR_4, int VAR_5, int VAR_6)

{

    

    vnc_lock_output(VAR_0);

    vnc_write_u8(VAR_0, VNC_MSG_SERVER_FRAMEBUFFER_UPDATE);

    vnc_write_u8(VAR_0, 0);

    vnc_write_u16(VAR_0, 1); 

    vnc_framebuffer_update(VAR_0, VAR_3, VAR_4, VAR_5, VAR_6, VNC_ENCODING_COPYRECT);

    vnc_write_u16(VAR_0, VAR_1);

    vnc_write_u16(VAR_0, VAR_2);

    vnc_unlock_output(VAR_0);

    vnc_flush(VAR_0);

}

static void FUNC_0(VncState *VAR_0, int VAR_1, int VAR_2, int VAR_3, int VAR_4, int VAR_5, int VAR_6)
{ vnc_lock_output(VAR_0); vnc_write_u8(VAR_0, VNC_MSG_SERVER_FRAMEBUFFER_UPDATE); vnc_write_u8(VAR_0, 0); vnc_write_u16(VAR_0, 1); vnc_framebuffer_update(VAR_0, VAR_3, VAR_4, VAR_5, VAR_6, VNC_ENCODING_COPYRECT); vnc_write_u16(VAR_0, VAR_1); vnc_write_u16(VAR_0, VAR_2); vnc_unlock_output(VAR_0); vnc_flush(VAR_0); }