SBD_MAX_CORES_PER_CMP
rcm->ndevs += SBD_MAX_CORES_PER_CMP;
cpuid_t cpuid[SBD_MAX_CORES_PER_CMP];
processorid_t ps_cpuid[SBD_MAX_CORES_PER_CMP];
int32_t ps_cpuid[SBD_MAX_CORES_PER_CMP];
processorid_t ps_cpuid[SBD_MAX_CORES_PER_CMP];
int32_t ps_cpuid[SBD_MAX_CORES_PER_CMP];