tsc_reading_t
tsc_reading_t tsc_readings[nreadings];
check_reading(tsc_reading_t r1, tsc_reading_t r2, uint64_t guest_freq,