blame | history | raw
hc
2023-11-06 1622ff3442ff6aecc1f538cda437379d1f6a4a93 
1

void realview_cpu_die(unsigned int cpu);