On 11/09/2016 03:57 PM, Alex Bennée wrote:
+void tlb_flush_page_all(target_ulong addr)
It's a nit, but when I read this I think all pages, not all cpus. Can we rename this tlb_fluch_page_all_cpus? Otherwise, Reviewed-by: Richard Henderson <r...@twiddle.net> r~
