vmm/io/vrtc.c

630 	sbintime_t oldfreq, newfreq, basetime;
689 	newfreq = vrtc_freq(vrtc);
690 	if (newfreq != oldfreq)
691 		vrtc_callout_reset(vrtc, newfreq);
693 		vrtc_callout_check(vrtc, newfreq);
705 	sbintime_t oldfreq, newfreq;
741 	newfreq = vrtc_freq(vrtc);
742 	if (newfreq != oldfreq)
743 		vrtc_callout_reset(vrtc, newfreq);
745 		vrtc_callout_check(vrtc, newfreq);