MAX_CPU_CHIPID
ASSERT(cpuid < MAX_CPU_CHIPID && CPUSET_ISNULL(chips[cpuid]));
static cpuset_t chips[MAX_CPU_CHIPID];
#ifndef MAX_CPU_CHIPID