RUMP_SYS_RENAME_GETSID
#ifndef RUMP_SYS_RENAME_GETSID
pid_t rump_sys_getsid(pid_t) __RENAME(RUMP_SYS_RENAME_GETSID);