identify_secondary_cpu
extern void identify_secondary_cpu(unsigned int cpu);
identify_secondary_cpu(cpuid);
identify_secondary_cpu(cpu);