RUMP_SYS_RENAME_IOCTL
#ifndef RUMP_SYS_RENAME_IOCTL
int rump_sys_ioctl(int, u_long, ...) __RENAME(RUMP_SYS_RENAME_IOCTL);