sfmmu_tsb_chk_reloc
sfmmu_tsb_chk_reloc(shsfmmup,
static void sfmmu_tsb_chk_reloc(sfmmu_t *, hatlock_t *);