RUMP_SYS_RENAME_GETFH
int rump_sys_getfh(const char *, void *, size_t *) __RENAME(RUMP_SYS_RENAME_GETFH);
#ifndef RUMP_SYS_RENAME_GETFH