src/arch/i386/include/arch/hlt.h

   1 #ifndef ARCH_HLT_H
   2 #define ARCH_HLT_H
   3
   4 #if defined(__ROMCC__)
   5 static void hlt(void)
   6 {
   7         __builtin_hlt();
   8 }
   9 #else
  10 static inline __attribute__((always_inline)) void hlt(void)
  11 {
  12         asm("hlt");
  13 }
  14 #endif
  15
  16 #endif /* ARCH_HLT_H */