RUMP_SYS_RENAME_FDATASYNC
#ifndef RUMP_SYS_RENAME_FDATASYNC
int rump_sys_fdatasync(int) __RENAME(RUMP_SYS_RENAME_FDATASYNC);