获取x86机器的定时器计数值

#include <stdio.h>
#include <stdint.h>

int main()
{
  uint64_t t;
  asm volatile (".byte 0x0f, 0x31" : "=A" (t));
  printf("%llu\n", t);
}