get_cpuid_from_apicid
CPUMASK_ASSBIT(node->members, get_cpuid_from_apicid(*apicid));
while(get_cpuid_from_apicid(next_apicid) == -1 &&