Symbol: satmgr_reboot
sys/arch/sandpoint/sandpoint/satmgr.c
123
static void satmgr_reboot(int);
sys/arch/sandpoint/sandpoint/satmgr.c
332
md_reboot = satmgr_reboot; /* cpu_reboot() hook */
sys/arch/sandpoint/sandpoint/satmgr.c
355
tsleep(satmgr_reboot, PWAIT, "reboot", 0);