RUMP_SYS_RENAME_LISTXATTR
int rump_sys_listxattr(const char *, char *, size_t) __RENAME(RUMP_SYS_RENAME_LISTXATTR);
#ifndef RUMP_SYS_RENAME_LISTXATTR