RUMP_SYS_RENAME_POSIX_FADVISE
int rump_sys_posix_fadvise(int, off_t, off_t, int) __RENAME(RUMP_SYS_RENAME_POSIX_FADVISE);
#ifndef RUMP_SYS_RENAME_POSIX_FADVISE