pub fn tlb_flush_virt_addr(vaddr: VirtAddr)
TLB flush operation for SMP systems
Flushes TLB entries on all CPUs that may have cached the given virtual address.