AMDID_CMP_CORES
max_cores = (cpu_procinfo2 & AMDID_CMP_CORES) + 1;
(cpu_procinfo2 & AMDID_CMP_CORES) + 1 : 1;
mask_width((cpu_procinfo2 & AMDID_CMP_CORES) + 1);
smp_cpus > (cpu_procinfo2 & AMDID_CMP_CORES) + 1)