sysctl_hwsmt
return (sysctl_hwsmt(oldp, oldlenp, newp, newlen));
int sysctl_hwsmt(void *, size_t *, void *, size_t);