SHIFT_PLL          93 kernel/time/ntp.c 	freq_adj <<= NTP_SCALE_SHIFT - 2 * (SHIFT_PLL + 2 + time_constant);
SHIFT_PLL         197 kernel/time/ntp.c 	time_adj = shift_right(time_offset, SHIFT_PLL + time_constant);