sysctl_tc_hardware   33 kern/kern_tc.c int sysctl_tc_hardware(void *, size_t *, void *, size_t);
sysctl_tc_hardware  551 kern/kern_tc.c 		return (sysctl_tc_hardware(oldp, oldlenp, newp, newlen));