Symbol: cpu_intr_swtch_enter
usr/src/uts/common/disp/disp.c
878
cpu_intr_swtch_enter(t);
usr/src/uts/common/sys/cpuvar.h
610
void cpu_intr_swtch_enter(kthread_t *);