domain'deki tüm bilgisayarlar ntp server olarak domain controller'ı kullanır. domain controller üzerinden saati düzenlemen yeterli olacaktır diye düşünüyorum şayet özel bir konfigurasyon yapılmamış ise. öncelikle domain'deki herhangi bir bilgisayar üzerinden;

w32tm /query /status

ile source olarak geçen ntp server'ı kontrol edebilirsiniz.