Searched refs:cpu_possible_count (Results 1 – 1 of 1) sorted by relevance
2233 uint32_t cpu_possible_count = 0; in process_madt_entries() local2253 cpu_possible_count++; in process_madt_entries()2266 cpu_possible_count++; in process_madt_entries()2280 *cpu_possible_countp = cpu_possible_count; in process_madt_entries()2287 uint32_t cpu_possible_count = 0; in process_madt() local2292 process_madt_entries(tp, &cpu_count, &cpu_possible_count, NULL); in process_madt()2327 bsetpropsi(PLAT_MAX_NCPUS_NAME, cpu_possible_count); in process_madt()