void vnc_flush(VncState *vs)

{

    vnc_lock_output(vs);

    if (vs->csock != -1 && (vs->output.offset

#ifdef CONFIG_VNC_WS

                || vs->ws_output.offset

#endif

                )) {

        vnc_client_write_locked(vs);

    }

    vnc_unlock_output(vs);

}

void vnc_flush(VncState *vs)

{

    vnc_lock_output(vs);

    if (vs->csock != -1 && (vs->output.offset

#ifdef CONFIG_VNC_WS

                || vs->ws_output.offset

#endif

                )) {

        vnc_client_write_locked(vs);

    }

    vnc_unlock_output(vs);

}

void FUNC_0(VncState *VAR_0)

{

    vnc_lock_output(VAR_0);

    if (VAR_0->csock != -1 && (VAR_0->output.offset

#ifdef CONFIG_VNC_WS

                || VAR_0->ws_output.offset

#endif

                )) {

        vnc_client_write_locked(VAR_0);

    }

    vnc_unlock_output(VAR_0);

}

void FUNC_0(VncState *VAR_0)
{ vnc_lock_output(VAR_0); if (VAR_0->csock != -1 && (VAR_0->output.offset
#ifdef CONFIG_VNC_WS
|| VAR_0->ws_output.offset
#endif
)) { vnc_client_write_locked(VAR_0); } vnc_unlock_output(VAR_0); }