Publisher: The Linux Kernel documentation.
Cited passages: Cache and TLB Flushing Under Linux, opening TLB discussion and flush_tlb_page: stale translations after page-table changes and invalidation during fault processing.