RUMP_SYS_RENAME_GETITIMER
int rump_sys_getitimer(int, struct itimerval *) __RENAME(RUMP_SYS_RENAME_GETITIMER);
#ifndef RUMP_SYS_RENAME_GETITIMER