1 2 3 4 5 6 7 8 9
#ifndef ARCH_HLT_H #define ARCH_HLT_H static inline __attribute__((always_inline)) void hlt(void) { for (;;) ; } #endif /* ARCH_HLT_H */