1void realview_cpu_die(unsigned int cpu);