set_hard_smp_processor_id
set_hard_smp_processor_id(cpu, cpu_to_phys_id[cpu]);
set_hard_smp_processor_id(boot_cpuid, boot_cpu_hwid);
set_hard_smp_processor_id(i, i);
set_hard_smp_processor_id(cpu, be32_to_cpu(*intserv++));
set_hard_smp_processor_id(cpu, -1);