|
@@ -2130,7 +2130,7 @@ int generic_processor_info(int apicid, int version)
|
|
|
* Since fixing handling of boot_cpu_physical_apicid requires
|
|
|
* another discussion and tests on each platform, we leave it
|
|
|
* for now and here we use read_apic_id() directly in this
|
|
|
- * function, __generic_processor_info().
|
|
|
+ * function, generic_processor_info().
|
|
|
*/
|
|
|
if (disabled_cpu_apicid != BAD_APICID &&
|
|
|
disabled_cpu_apicid != read_apic_id() &&
|