RUMP_SYS_RENAME_SETXATTR
int rump_sys_setxattr(const char *, const char *, const void *, size_t, int) __RENAME(RUMP_SYS_RENAME_SETXATTR);
#ifndef RUMP_SYS_RENAME_SETXATTR