RUMP_SYS_RENAME_LGETXATTR
int rump_sys_lgetxattr(const char *, const char *, void *, size_t) __RENAME(RUMP_SYS_RENAME_LGETXATTR);
#ifndef RUMP_SYS_RENAME_LGETXATTR