silo/amd64.h

   1 #ifndef _AMD64_H_
   2 #define _AMD64_H_
   3
   4 #include "macros.h"
   5 #include <stdint.h>
   6
   7 inline ALWAYS_INLINE void
   8 nop_pause()
   9 {
  10   __asm volatile("pause" : :);
  11 }
  12
  13 inline ALWAYS_INLINE uint64_t
  14 rdtsc(void)
  15 {
  16   uint32_t hi, lo;
  17   __asm volatile("rdtsc" : "=a"(lo), "=d"(hi));
  18   return ((uint64_t)lo)|(((uint64_t)hi)<<32);
  19 }
  20
  21 #endif /* _AMD64_H_ */