Symbol: RUMP_SYS_RENAME__KSEM_DESTROY
sys/rump/include/rump/rump_syscalls.h
59
#ifndef RUMP_SYS_RENAME__KSEM_DESTROY
sys/rump/include/rump/rump_syscalls.h
972
int rump_sys__ksem_destroy(intptr_t) __RENAME(RUMP_SYS_RENAME__KSEM_DESTROY);