2025-05-10 21:58:58 +08:00

2 lines
41 B
C

void realview_cpu_die(unsigned int cpu);