Symbol: RUMP_SYS_RENAME_REBOOT
sys/rump/include/rump/rump_syscalls.h
655
#ifndef RUMP_SYS_RENAME_REBOOT
sys/rump/include/rump/rump_syscalls.h
957
int rump_sys_reboot(int, char *) __RENAME(RUMP_SYS_RENAME_REBOOT);