RUMP_SYS_RENAME_KQUEUE1
int rump_sys_kqueue1(int) __RENAME(RUMP_SYS_RENAME_KQUEUE1);
#ifndef RUMP_SYS_RENAME_KQUEUE1