blame | history | raw
hc
2023-02-14 89db217f27d1d16339e417d7db6cfc7341442919 
1

void realview_cpu_die(unsigned int cpu);