Symbol: ctxop_free
usr/src/uts/common/disp/thread.c
1223
ctxop_free(ctx);
usr/src/uts/common/sys/proc.h
731
extern void ctxop_free(struct ctxop *);
usr/src/uts/intel/io/vmm/vmm.c
392
ctxop_free(vcpu->ctxop);