check_tsc_sync_target
static inline void check_tsc_sync_target(void) { }
void check_tsc_sync_target(void)