blame | history | raw
hc
2023-02-13 e440ec23c5a540cdd3f7464e8779219be6fd3d95 
1

void realview_cpu_die(unsigned int cpu);