2025-05-10 21:49:39 +08:00

2 lines
41 B
C

void realview_cpu_die(unsigned int cpu);