arch_thaw_secondary_cpus_begin
extern void arch_thaw_secondary_cpus_begin(void);
arch_thaw_secondary_cpus_begin();