process_madt_entries
process_madt_entries(tp, &cpu_count, &cpu_possible_count, NULL);
process_madt_entries(tp, NULL, NULL, cpu_apicid_array);