HW_NCPU
mib[1] = HW_NCPU;
SYSCTL_INT(_hw, HW_NCPU, ncpu, CTLFLAG_RD|CTLFLAG_CAPRD,
int mib[2] = { CTL_HW, HW_NCPU };