void netbsd32_sysctl_fini(void) { sysctl_teardown(&netbsd32_clog); sysctl_free(&netbsd32_sysctl_root); }
void linux_sysctl_fini(void) { sysctl_teardown(&linux_clog2); sysctl_teardown(&linux_clog1); sysctl_free(&linux_sysctl_root); }