smp_scan_config 767 arch/x86/kernel/mpparse.c if (smp_scan_config(0x0, 0x400, reserve) || smp_scan_config 768 arch/x86/kernel/mpparse.c smp_scan_config(639 * 0x400, 0x400, reserve) || smp_scan_config 769 arch/x86/kernel/mpparse.c smp_scan_config(0xF0000, 0x10000, reserve)) smp_scan_config 790 arch/x86/kernel/mpparse.c smp_scan_config(address, 0x400, reserve);