reserve_cpus 81 arch/ia64/include/asm/acpi.h static inline void per_cpu_scan_finalize(int min_cpus, int reserve_cpus) reserve_cpus 90 arch/ia64/include/asm/acpi.h high_cpu = min(high_cpu + reserve_cpus, NR_CPUS);