RUMP_SYS_RENAME_SETTIMEOFDAY
int rump_sys_settimeofday(const struct timeval *, const void *) __RENAME(RUMP_SYS_RENAME_SETTIMEOFDAY);
#ifndef RUMP_SYS_RENAME_SETTIMEOFDAY