On 08/11/2016 08:24 AM, Alex Bennée wrote: > For SoftMMU the TLB flushes are an example of a task that can be > triggered on one vCPU by another. To deal with this properly we need to > use safe work to ensure these changes are done safely. The new assert > can be enabled while debugging to catch these cases. > > Signed-off-by: Alex Bennée <alex.ben...@linaro.org> > --- > cputlb.c | 15 +++++++++++++++ > 1 file changed, 15 insertions(+)
Reviewed-by: Richard Henderson <r...@twiddle.net> r~