blame | history | raw
hc
2023-11-22 9ca5fbcb63a8dcaee0527f96afb91dc4b4bd8fa9 
1

void realview_cpu_die(unsigned int cpu);