Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/ntp.c ntp_adjtimex() -> process_adjtimex_modes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ntpdata | 4096-ptr_max |
| PARAM_VALUE | 1 | txc | 1350254909974437888,2443158563062341632,3336278660045197312,7995398462044033024 |
| PARAM_VALUE | 1 | txc->modes | 1-u32max |
| PARAM_VALUE | 2 | time_tai | 1365720948225597440 |
| DATA_SOURCE | 1 | txc | $1 |
| DATA_SOURCE | 2 | time_tai | $3 |
| BIT_INFO | 1 | txc->modes | 0x0,0xffff7fff |
| NOCHECK_CALL | |||
| USER_DATA | 1 | txc->calcnt | s64min-s64max |
| USER_DATA | 1 | txc->constant | s64min-s64max |
| USER_DATA | 1 | txc->errcnt | s64min-s64max |
| USER_DATA | 1 | txc->esterror | s64min-s64max |
| USER_DATA | 1 | txc->freq | s64min-s64max |
| USER_DATA | 1 | txc->jitcnt | s64min-s64max |
| USER_DATA | 1 | txc->jitter | s64min-s64max |
| USER_DATA | 1 | txc->maxerror | s64min-s64max |
| USER_DATA | 1 | txc->modes | 1-u32max |
| USER_DATA | 1 | txc->offset | s64min-s64max |
| USER_DATA | 1 | txc->ppsfreq | s64min-s64max |
| USER_DATA | 1 | txc->precision | s64min-s64max |
| USER_DATA | 1 | txc->shift | s32min-s32max |
| USER_DATA | 1 | txc->stabil | s64min-s64max |
| USER_DATA | 1 | txc->status | s32min-s32max |
| USER_DATA | 1 | txc->stbcnt | s64min-s64max |
| USER_DATA | 1 | txc->tai | s32min-s32max |
| 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 |
| USER_DATA | 1 | txc->tolerance | s64min-s64max |
| LOCK2 | &tkd->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct tk_data)->lock |