RUMP_SYS_RENAME_ADJTIME
#ifndef RUMP_SYS_RENAME_ADJTIME
int rump_sys_adjtime(const struct timeval *, struct timeval *) __RENAME(RUMP_SYS_RENAME_ADJTIME);