By popular request, here be some patches (against tip/WIP.x86/kpti) that
clarify/cleanup/fix the x86 tlbflush API and usage.


Reply via email to