tlb_flush_range_local
tlb_flush_range_local(pte1_trunc(va), PTE1_SIZE);
#define tlb_flush_range(va, size) tlb_flush_range_local(va, size)