RUMP_SYS_RENAME_FGETXATTR
int rump_sys_fgetxattr(int, const char *, void *, size_t) __RENAME(RUMP_SYS_RENAME_FGETXATTR);
#ifndef RUMP_SYS_RENAME_FGETXATTR