blame | history | raw
hc
2023-11-07 f45e756958099c35d6afb746df1d40a1c6302cfc 
1

void realview_cpu_die(unsigned int cpu);