Symbol: kern_reboot
sys/kern/kern_shutdown.c
453
kern_reboot(int howto)
sys/sys/systm.h
438
void kern_reboot(int) __dead2;