blame | history | raw
hc
2023-03-21 4b55d97acc464242bcd6a8ae77b8ff37c22dec58 
1

void realview_cpu_die(unsigned int cpu);