/* ETR sync check machine check. This is called when the ETR OTE and the local clock OTE are farther apart than the ETR sync check tolerance. After a ETR sync check the clock is not in sync. The machine check is broadcasted to all cpus at the same time.  */
void etr_sync_check(void)
/* ETR sync check machine check. This is called when the ETR OTE and the local clock OTE are farther apart than the ETR sync check tolerance. After a ETR sync check the clock is not in sync. The machine check is broadcasted to all cpus at the same time.  */
void etr_sync_check(void)
{
	if (!etr_eacr.es)
		return;
	disable_sync_clock(NULL);
	set_bit(ETR_EVENT_SYNC_CHECK, &etr_events);
	queue_work(time_sync_wq, &etr_work);
}