pmap_tlb_flush_range
pmap_tlb_flush_range(pmap, pte1_trunc(va), PTE1_SIZE);
void pmap_tlb_flush_range(pmap_t, vm_offset_t, vm_size_t);