sfmmu_tsb_segkmem_free
sfmmu_tsb_segkmem_free, kmem_bigtsb_arena,
sfmmu_tsb_segkmem_free, kmem_tsb_arena, 0,
sfmmu_tsb_segkmem_free, kmem_bigtsb_arena, 0,
sfmmu_tsb_segkmem_free, kmem_tsb_arena, 0,
extern void sfmmu_tsb_segkmem_free(vmem_t *, void *, size_t);