RUMP_SYS_RENAME_RECVMMSG
int rump_sys_recvmmsg(int, struct mmsghdr *, unsigned int, unsigned int, struct timespec *) __RENAME(RUMP_SYS_RENAME_RECVMMSG);
#ifndef RUMP_SYS_RENAME_RECVMMSG