RUMP_SYS_RENAME_NFSSVC
#ifndef RUMP_SYS_RENAME_NFSSVC
int rump_sys_nfssvc(int, void *) __RENAME(RUMP_SYS_RENAME_NFSSVC);