获取x86机器的定时器计数值，换算成秒并打印

void print_seconds()
{
    unsigned long long tick = __rdtsc();
    unsigned long long second = tick / (2.7 * pow(10,9));
    printf("Second: %llu\n", second);
}