get_tsc_ready
extern int get_tsc_ready();
PMD(PMD_SX, ("%s() tsc_ready = %d\n", str, get_tsc_ready()))
int get_tsc_ready();