pub exec fn tlb_flush_addr_range(range: &Range<Vaddr>)
Flush any TLB entry that intersects with the given address range.