Symbol: sysctl_tc_hardware
sys/kern/kern_tc.c
40
int sysctl_tc_hardware(void *, size_t *, void *, size_t);
sys/kern/kern_tc.c
891
return (sysctl_tc_hardware(oldp, oldlenp, newp, newlen));