RUMP_SYS_RENAME_KQUEUE
#ifndef RUMP_SYS_RENAME_KQUEUE
int rump_sys_kqueue(void) __RENAME(RUMP_SYS_RENAME_KQUEUE);