RUMP_SYS_RENAME_FDISCARD
int rump_sys_fdiscard(int, off_t, off_t) __RENAME(RUMP_SYS_RENAME_FDISCARD);
#ifndef RUMP_SYS_RENAME_FDISCARD