2 lines
41 B
C
Vendored
2 lines
41 B
C
Vendored
void realview_cpu_die(unsigned int cpu);
|
void realview_cpu_die(unsigned int cpu);
|