Symbol: hat_kern_alloc
usr/src/uts/i86pc/os/startup.c
1844
hat_kern_alloc((caddr_t)segmap_start, segmapsize, ekernelheap);
usr/src/uts/i86pc/vm/hat_i86.h
247
extern void hat_kern_alloc(caddr_t segmap_base, size_t segmap_size,