osf1_sys_reboot   378 compat/osf1/osf1_syscallargs.h int	osf1_sys_reboot(struct proc *, void *, register_t *);
osf1_sys_reboot   138 compat/osf1/osf1_sysent.c 	    osf1_sys_reboot },			/* 55 = reboot */