Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/ntp.c ntp_adjtimex() -> pps_fill_timex()

Type Parameter Key Value
PARAM_VALUE 0 ntpdata 4096-ptr_max
PARAM_VALUE 1 txc 1350254909974437888,2443158563062341632,3336278660045197312,7995398462044033024
DATA_SOURCE 1 txc $1
NOCHECK_CALL
USER_DATA 0 ntpdata->tick_usec 0-u64max
USER_DATA 0 ntpdata->time_adjust s64min-s64max
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-(-1),8192-s32max[c][u]
USER_DATA 1 txc->calcnt s64min-s64max
USER_DATA 1 txc->constant 1-9[c]
USER_DATA 1 txc->errcnt s64min-s64max
USER_DATA 1 txc->esterror 1-15999999
USER_DATA 1 txc->jitcnt s64min-s64max
USER_DATA 1 txc->jitter s64min-s64max
USER_DATA 1 txc->maxerror 1-15999999
USER_DATA 1 txc->modes 0-u32max
USER_DATA 1 txc->ppsfreq s64min-s64max
USER_DATA 1 txc->shift s32min-s32max
USER_DATA 1 txc->stabil s64min-s64max
USER_DATA 1 txc->status s32min-(-1),8192-s32max[c][u]
USER_DATA 1 txc->stbcnt s64min-s64max
USER_DATA 1 txc->tai 0-100000
USER_DATA 1 txc->tick s64min-s64max
USER_DATA 1 txc->time.tv_sec s64min-s64max
USER_DATA 1 txc->time.tv_usec s64min-s64max
LOCK2 &tkd->lock
LOCK2 irq
TYPE_LOCK (struct tk_data)->lock