RUMP_SYS_RENAME_MKNOD
int rump_sys_mknod(const char *, mode_t, dev_t) __RENAME(RUMP_SYS_RENAME_MKNOD);
#ifndef RUMP_SYS_RENAME_MKNOD