Searched refs:cpu_possible_count (Results 1 – 1 of 1) sorted by relevance
2361 uint32_t cpu_possible_count = 0; in process_madt_entries() local2381 cpu_possible_count++; in process_madt_entries()2394 cpu_possible_count++; in process_madt_entries()2408 *cpu_possible_countp = cpu_possible_count; in process_madt_entries()2415 uint32_t cpu_possible_count = 0; in process_madt() local2420 process_madt_entries(tp, &cpu_count, &cpu_possible_count, NULL); in process_madt()2455 bsetpropsi(PLAT_MAX_NCPUS_NAME, cpu_possible_count); in process_madt()