witness_sysctl_watch
return witness_sysctl_watch(oldp, oldlenp, newp, newlen);
error = witness_sysctl_watch(oldp, oldlenp, newp, newlen);
int witness_sysctl_watch(void *, size_t *, void *, size_t);