blame | history | raw
hc
2023-11-20 520ec20d74dfd87f62fd58b921b7209d6daed94a 
1

void realview_cpu_die(unsigned int cpu);