static void send_ext_key_event_ack(VncState *vs)

{

    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, 0, 0,

                           surface_width(vs->vd->ds),

                           surface_height(vs->vd->ds),

                           VNC_ENCODING_EXT_KEY_EVENT);

    vnc_unlock_output(vs);

    vnc_flush(vs);

}

static void send_ext_key_event_ack(VncState *vs)

{

    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, 0, 0,

                           surface_width(vs->vd->ds),

                           surface_height(vs->vd->ds),

                           VNC_ENCODING_EXT_KEY_EVENT);

    vnc_unlock_output(vs);

    vnc_flush(vs);

}

                           surface_width(vs->vd->ds),                            surface_height(vs->vd->ds),                            surface_width(vs->vd->ds),                            surface_height(vs->vd->ds),
static void FUNC_0(VncState *VAR_0)

{

    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, 0, 0,

                           surface_width(VAR_0->vd->ds),

                           surface_height(VAR_0->vd->ds),

                           VNC_ENCODING_EXT_KEY_EVENT);

    vnc_unlock_output(VAR_0);

    vnc_flush(VAR_0);

}

static void FUNC_0(VncState *VAR_0)
{ 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, 0, 0,
surface_width(VAR_0->vd->ds),
surface_height(VAR_0->vd->ds),
VNC_ENCODING_EXT_KEY_EVENT); vnc_unlock_output(VAR_0); vnc_flush(VAR_0); }