pub fn update_mmu_cache(_vaddr: VirtAddr)Expand description
Makes a page-table entry installed by the local page-fault handler visible before retrying the faulting instruction.
x86 does not cache invalid leaf entries, so the page-table write is enough.