/* STP sync check machine check. This is called when the timing state changes from the synchronized state to the unsynchronized state. After a STP sync check the clock is not in sync. The machine check is broadcasted to all cpus at the same time.  */
void stp_sync_check(void)
/* STP sync check machine check. This is called when the timing state changes from the synchronized state to the unsynchronized state. After a STP sync check the clock is not in sync. The machine check is broadcasted to all cpus at the same time.  */
void stp_sync_check(void)
{
	disable_sync_clock(NULL);
	queue_work(time_sync_wq, &stp_work);
}