On 10/08/2015 17:27, fred.kon...@greensocs.com wrote: > From: KONRAD Frederic <fred.kon...@greensocs.com> > > tb_flush is not thread safe we definitely need to exit VCPUs to do that. > This introduces tb_flush_safe which just creates an async safe work which will > do a tb_flush later. > > Signed-off-by: KONRAD Frederic <fred.kon...@greensocs.com>
You could also allocate a new code buffer and free the old one with call_rcu. This should simplify things a lot. Paolo