RUMP_SYS_RENAME_FSYNC_RANGE
#ifndef RUMP_SYS_RENAME_FSYNC_RANGE
int rump_sys_fsync_range(int, int, off_t, off_t) __RENAME(RUMP_SYS_RENAME_FSYNC_RANGE);