Flushing user entries for kernel mappings in x86
From: Nadav Amit
Date: Tue Aug 28 2018 - 21:47:00 EST
Is there a reason for __flush_tlb_one_kernel() to flush the PTE not only in
the kernel address space, but also in the user one (as part of
__flush_tlb_one_user)? [ I obviously regard the case when PTI is on ].