Symbol: sfmmu_ktsb_alloc
usr/src/uts/sfmmu/vm/hat_sfmmu.h
2287
extern caddr_t sfmmu_ktsb_alloc(caddr_t);
usr/src/uts/sun4/os/startup.c
1088
alloc_base = sfmmu_ktsb_alloc(alloc_base);