Symbol: cpu_intr_swtch_exit
usr/src/uts/common/disp/disp.c
949
cpu_intr_swtch_exit(t);
usr/src/uts/common/sys/cpuvar.h
611
void cpu_intr_swtch_exit(kthread_t *);