Symbol: cpu_resched
usr/src/uts/common/disp/disp.c
107
static void cpu_resched(cpu_t *cp, pri_t tpri);
usr/src/uts/common/disp/disp.c
1354
cpu_resched(cp, tpri);
usr/src/uts/common/disp/disp.c
1504
cpu_resched(cp, tpri);
usr/src/uts/common/disp/disp.c
1593
cpu_resched(cp, tpri);