RUMP_SYS_RENAME__KSEM_UNLINK
#ifndef RUMP_SYS_RENAME__KSEM_UNLINK
int rump_sys__ksem_unlink(const char *) __RENAME(RUMP_SYS_RENAME__KSEM_UNLINK);