Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/timekeeping.c __do_adjtimex() -> timekeeping_validate_timex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | txc | 1350254909974437888,2443158563062341632,3336278660045197312,7995398462044033024 |
| DATA_SOURCE | 0 | txc | $1 |
| USER_DATA | 0 | txc->calcnt | s64min-s64max |
| USER_DATA | 0 | txc->constant | s64min-s64max |
| USER_DATA | 0 | txc->errcnt | s64min-s64max |
| USER_DATA | 0 | txc->esterror | s64min-s64max |
| USER_DATA | 0 | txc->freq | s64min-s64max |
| USER_DATA | 0 | txc->jitcnt | s64min-s64max |
| USER_DATA | 0 | txc->jitter | s64min-s64max |
| USER_DATA | 0 | txc->maxerror | s64min-s64max |
| USER_DATA | 0 | txc->modes | 0-u32max |
| USER_DATA | 0 | txc->offset | s64min-s64max |
| USER_DATA | 0 | txc->ppsfreq | s64min-s64max |
| USER_DATA | 0 | txc->precision | s64min-s64max |
| USER_DATA | 0 | txc->shift | s32min-s32max |
| USER_DATA | 0 | txc->stabil | s64min-s64max |
| USER_DATA | 0 | txc->status | s32min-s32max |
| USER_DATA | 0 | txc->stbcnt | s64min-s64max |
| USER_DATA | 0 | txc->tai | s32min-s32max |
| USER_DATA | 0 | txc->tick | s64min-s64max |
| USER_DATA | 0 | txc->time.tv_sec | s64min-s64max |
| USER_DATA | 0 | txc->time.tv_usec | s64min-s64max |
| USER_DATA | 0 | txc->tolerance | s64min-s64max |