Searched refs:cpu_possible_count (Results 1 – 1 of 1) sorted by relevance
2086 uint32_t cpu_possible_count = 0; in process_madt() local2104 cpu_possible_count++; in process_madt()2136 bsetpropsi(PLAT_MAX_NCPUS_NAME, cpu_possible_count); in process_madt()