blame | history | raw
hc
2023-11-20 210d832bd23475d819321da7f0b6b3278dc0d17d 
1

void realview_cpu_die(unsigned int cpu);