Symbol: RUMP_SYS_RENAME_CLOCK_GETCPUCLOCKID2
sys/rump/include/rump/rump_syscalls.h
1075
int rump_sys_clock_getcpuclockid2(idtype_t, id_t, clockid_t *) __RENAME(RUMP_SYS_RENAME_CLOCK_GETCPUCLOCKID2);
sys/rump/include/rump/rump_syscalls.h
159
#ifndef RUMP_SYS_RENAME_CLOCK_GETCPUCLOCKID2