Function axhal::arch::flush_tlb

pub fn flush_tlb(vaddr: Option<VirtAddr>)

Flushes the TLB.

If vaddr is None, flushes the entire TLB. Otherwise, flushes the TLB entry that maps the given virtual address.