On Fri, Jun 3, 2016 at 10:42 AM, Nadav Amit <nadav.a...@gmail.com> wrote: > Following this patch, if (current->active_mm != mm), flush_tlb_page() still > doesn’t call smp_mb() before checking mm_cpumask(mm). > > In contrast, flush_tlb_mm_range() does call smp_mb(). > > Is there a reason for this discrepancy?
Not that I can remember. Is the remote flush case likely to be racy? --Andy
