Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/ntp.c process_adjtimex_modes() -> ntp_update_offset()

Type Parameter Key Value
PARAM_VALUE 0 ntpdata 4096-ptr_max
PARAM_VALUE 0 ntpdata->time_constant 0-14
DATA_SOURCE 0 ntpdata $0
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 0 ntpdata->time_constant 1-9[c]
USER_DATA 0 ntpdata->time_esterror 1-15999999
USER_DATA 0 ntpdata->time_maxerror 1-15999999
USER_DATA 0 ntpdata->time_status s32min-s32max[c][u]
USER_DATA 1 offset s64min-s64max
LOCK2 &tkd->lock
LOCK2 irq
TYPE_LOCK (struct tk_data)->lock