with the hlt_works change, it is possible to have i386
and x86_64 stop_this_cpu() looking exactly the same. They
can, after that, be merged.
Signed-off-by: Glauber Costa <gcosta@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
         */
        cpu_clear(smp_processor_id(), cpu_online_map);
        disable_local_APIC();
-       if (cpu_data(smp_processor_id()).hlt_works_ok)
+       if (hlt_works(smp_processor_id()))
                for(;;) halt();
        for (;;);
 }
 
         */
        cpu_clear(smp_processor_id(), cpu_online_map);
        disable_local_APIC();
-       for (;;)
-               halt();
+       if (hlt_works(smp_processor_id()))
+               for (;;) halt();
+       for (;;);
 }
 
 void smp_send_stop(void)