RUMP_SYS_RENAME___SYSCTL
#ifndef RUMP_SYS_RENAME___SYSCTL
int rump_sys___sysctl(const int *, u_int, void *, size_t *, const void *, size_t) __RENAME(RUMP_SYS_RENAME___SYSCTL);