Symbol: ctxop_detach
usr/src/uts/common/sys/proc.h
733
extern void ctxop_detach(kthread_t *, struct ctxop *);
usr/src/uts/intel/io/vmm/vmm.c
2637
ctxop_detach(curthread, vcpu->ctxop);