pub exec fn tlb_flush_addr(vaddr: Vaddr)
Flush any TLB entry that contains the map of the given virtual address.
This flush performs regardless of the global-page bit. So it can flush both global and non-global entries.