RUMP_SYS_RENAME_MKNODAT
int rump_sys_mknodat(int, const char *, mode_t, dev_t) __RENAME(RUMP_SYS_RENAME_MKNODAT);
#ifndef RUMP_SYS_RENAME_MKNODAT