Symbol: MHALT_REBOOT
sys/arch/vax/vax/machdep.c
742
} else if (cpmbx->mbox_halt != MHALT_REBOOT)
sys/arch/vax/vax/machdep.c
743
cpmbx->mbox_halt = MHALT_REBOOT;