Symbol: RUMP_SYS_RENAME_GETPID
sys/rump/include/rump/rump_syscalls.h
407
#ifndef RUMP_SYS_RENAME_GETPID
sys/rump/include/rump/rump_syscalls.h
882
pid_t rump_sys_getpid(void) __RENAME(RUMP_SYS_RENAME_GETPID);