generic_check_cpu_restart
int generic_check_cpu_restart(unsigned int cpu);
while (!generic_check_cpu_restart(cpu)) {
if (generic_check_cpu_restart(cpu))
while (!generic_check_cpu_restart(cpu)) {
if (srr1 && !generic_check_cpu_restart(cpu))