2 lines
41 B
C
2 lines
41 B
C
![]() |
void realview_cpu_die(unsigned int cpu);
|
![]() |
void realview_cpu_die(unsigned int cpu);
|