int set_buffer(DEVICE d, TOKEN t, void  *buf, int len)
{
    int error;
    DCValue val;                              // netpp Runtime-Datentyp
    val.value.p = buf;                        // Zeiger auf Framebuffer
    val.len = len;                            // Laenge des Buffer
    val.type = DC_BUFFER;                     // Typ DC_BUFFER

    error = dcDevice_SetProperty(d, t, &val); // Puffer schreiben
    if (error < 0) handleError(error);
    return error;
}

void sim_updatefb(FBHANDLE handle)
{
    FBuffer *fb = GET_FB(handle);             // Framebuffer-Kontext holen
    printf("Updating buffer size %ld\n", fb->size);
    set_buffer(fb->device, fb->token, fb->data, fb->size);
}