x86: pass in cpu number to switch_to_new_gdt()
[linux-3.10.git] / arch / x86 / kernel / setup_percpu.c
index 0d1e7ac..ef91747 100644 (file)
@@ -122,7 +122,7 @@ void __init setup_per_cpu_areas(void)
                 * area.  Reload any changed state for the boot CPU.
                 */
                if (cpu == boot_cpu_id)
-                       switch_to_new_gdt();
+                       switch_to_new_gdt(cpu);
 
                DBG("PERCPU: cpu %4d %p\n", cpu, ptr);
        }