>       notify_cpu_starting(smp_processor_id());
>       set_cpu_online(smp_processor_id(), 1);
> +     /* Remote TLB flushes are ignored while the CPU is offline, so emit a 
> local
> +      * TLB flush right now just in case. */

Please use the normal kernel comment style and break the line after 80
characters.

Reply via email to