versatile_immitation_cpu_die
return versatile_immitation_cpu_die(cpu, 0x20);
versatile_immitation_cpu_die(cpu, 0x40);
void versatile_immitation_cpu_die(unsigned int cpu, unsigned int actrl_mask);