blame | history | raw
hc
2023-11-06 170c1c0fa90ad9f762d1877f8a57efce706fc95a 
1

void realview_cpu_die(unsigned int cpu);