check_sync_clock 666 arch/s390/kernel/time.c if (check_sync_clock()) check_sync_clock 675 arch/s390/kernel/time.c if (!check_sync_clock())