Symbol: PANIC_REBOOT_WAIT_TIME
sys/kern/kern_shutdown.c
104
#ifndef PANIC_REBOOT_WAIT_TIME
sys/kern/kern_shutdown.c
107
static int panic_reboot_wait_time = PANIC_REBOOT_WAIT_TIME;