RUMP_SYS_RENAME_UNMOUNT
#ifndef RUMP_SYS_RENAME_UNMOUNT
int rump_sys_unmount(const char *, int) __RENAME(RUMP_SYS_RENAME_UNMOUNT);