On 2020-05-21 12:57, John Hubbard wrote: > Also, I doubt if it's worth it, but do you want a patch to change > SetPageDirty() > to set_page_dirty_lock(), meanwhile? It seems like if that's never come > up, then > it's mostly a theoretical bug. Hi John, Since I do not use the st driver myself I will leave it to Kai to answer that question. Thanks, Bart.