unsynchronized_tsc
extern int unsynchronized_tsc(void);
if (unsynchronized_tsc()) {
if (unsynchronized_tsc())