Symbol: PCB_NEED_UPDATE
usr/src/uts/i86pc/os/intr.c
1491
if (!PCB_NEED_UPDATE(pcb))
usr/src/uts/i86pc/os/intr.c
1516
ASSERT0(PCB_NEED_UPDATE(pcb));