|
@@ -78,4 +78,12 @@ extern int __cpu_disable(void);
|
|
extern void __cpu_die(unsigned int cpu);
|
|
extern void __cpu_die(unsigned int cpu);
|
|
extern void cpu_die(void);
|
|
extern void cpu_die(void);
|
|
|
|
|
|
|
|
+static inline void cpu_park_loop(void)
|
|
|
|
+{
|
|
|
|
+ for (;;) {
|
|
|
|
+ wfe();
|
|
|
|
+ wfi();
|
|
|
|
+ }
|
|
|
|
+}
|
|
|
|
+
|
|
#endif /* ifndef __ASM_SMP_H */
|
|
#endif /* ifndef __ASM_SMP_H */
|