blame | history | raw
hc
2023-11-22 f743a7adbd6e230d66a6206fa115b59fec2d88eb 
1

void realview_cpu_die(unsigned int cpu);