Symbol: sys_reboot
sys/kern/init_sysent.c
146
sys_reboot }, /* 55 = reboot */
sys/sys/syscallargs.h
1231
int sys_reboot(struct proc *, void *, register_t *);