RUMP_SYS_RENAME_REVOKE
#ifndef RUMP_SYS_RENAME_REVOKE
int rump_sys_revoke(const char *) __RENAME(RUMP_SYS_RENAME_REVOKE);