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