min_cpus           81 arch/ia64/include/asm/acpi.h static inline void per_cpu_scan_finalize(int min_cpus, int reserve_cpus)
min_cpus           89 arch/ia64/include/asm/acpi.h 	high_cpu = max(low_cpu, min_cpus);