tlb_flush_range
tlb_flush_range(va, size);
tlb_flush_range(sva, va - sva);
tlb_flush_range(sva, size);
tlb_flush_range(sva, count * PAGE_SIZE);
tlb_flush_range(sva, va - sva);
tlb_flush_range(pte1_trunc(va), PTE1_SIZE);
tlb_flush_range(sva, va - sva);