Symbol: freectx
usr/src/uts/common/disp/thread.c
750
freectx(t, 0);
usr/src/uts/common/os/exec.c
425
freectx(curthread, 1);
usr/src/uts/common/sys/proc.h
742
extern void freectx(kthread_t *, int);