cmp_add_cpu
extern void cmp_add_cpu(chipid_t chipid, processorid_t cpuid);
cmp_add_cpu(portid, cpuid);