Searched refs:cpu_possible_count (Results 1 – 1 of 1) sorted by relevance
2540 uint32_t cpu_possible_count = 0; in process_madt_entries() local2560 cpu_possible_count++; in process_madt_entries()2573 cpu_possible_count++; in process_madt_entries()2587 *cpu_possible_countp = cpu_possible_count; in process_madt_entries()2594 uint32_t cpu_possible_count = 0; in process_madt() local2599 process_madt_entries(tp, &cpu_count, &cpu_possible_count, NULL); in process_madt()2635 bsetpropsi(PLAT_MAX_NCPUS_NAME, cpu_possible_count); in process_madt()