Symbol: freepctx
usr/src/uts/common/os/exec.c
427
freepctx(p, 1);
usr/src/uts/common/os/exit.c
955
freepctx(p, 0);
usr/src/uts/common/sys/proc.h
751
extern void freepctx(proc_t *, int);