patch_tsc_read
patch_tsc_read(TSC_TSCP);
patch_tsc_read(TSC_RDTSC_LFENCE);
extern void patch_tsc_read(int);