RUMP_SYS_RENAME_FCHFLAGS
#ifndef RUMP_SYS_RENAME_FCHFLAGS
int rump_sys_fchflags(int, u_long) __RENAME(RUMP_SYS_RENAME_FCHFLAGS);