Hello Andy,Is there a reason for __flush_tlb_one_kernel() to flush the PTE not only inthe 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 ].Thanks,Nadav