RUMP_SYS_RENAME_CLOCK_GETRES
int rump_sys_clock_getres(clockid_t, struct timespec *) __RENAME(RUMP_SYS_RENAME_CLOCK_GETRES);
#ifndef RUMP_SYS_RENAME_CLOCK_GETRES