sfmmu_unload_tsb_range
sfmmu_unload_tsb_range(sfmmup, addr, eaddr, TTE8K);
sfmmu_unload_tsb_range(sfmmup, r_saddr,
sfmmu_unload_tsb_range(sfmmup, sva, eva, ttesz); \