Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- arch/alpha/kernel/osf_sys.c, line 1186
- arch/sparc/kernel/sys_sparc_64.c, line 586
- kernel/time/posix-timers.c, line 207
- kernel/time/time.c
Smatch caller information:
kernel/time/posix-timers.c posix_clock_realtime_adj() -> do_adjtimex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | txc | 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 |
kernel/time/time.c __do_sys_adjtimex() -> do_adjtimex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | txc | 2443158563062341632 |
| 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 |
kernel/time/time.c __do_sys_adjtimex() -> do_adjtimex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | txc | 2443158563062341632 |
| 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 |
kernel/time/time.c __do_sys_adjtimex_time32() -> do_adjtimex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | txc | 1350254909974437888 |
| PARAM_VALUE | 0 | txc->calcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->constant | s32min-s32max |
| PARAM_VALUE | 0 | txc->errcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->esterror | s32min-s32max |
| PARAM_VALUE | 0 | txc->freq | s32min-s32max |
| PARAM_VALUE | 0 | txc->jitcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->jitter | s32min-s32max |
| PARAM_VALUE | 0 | txc->maxerror | s32min-s32max |
| PARAM_VALUE | 0 | txc->offset | s32min-s32max |
| PARAM_VALUE | 0 | txc->ppsfreq | s32min-s32max |
| PARAM_VALUE | 0 | txc->precision | s32min-s32max |
| PARAM_VALUE | 0 | txc->stabil | s32min-s32max |
| PARAM_VALUE | 0 | txc->stbcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->tai | 0 |
| PARAM_VALUE | 0 | txc->tick | s32min-s32max |
| PARAM_VALUE | 0 | txc->time.tv_sec | s32min-s32max |
| PARAM_VALUE | 0 | txc->time.tv_usec | s32min-s32max |
| PARAM_VALUE | 0 | txc->tolerance | s32min-s32max |
| MEM_ZERO | 0 | txc | |
| USER_DATA | 0 | txc->calcnt | s32min-s32max |
| USER_DATA | 0 | txc->constant | s32min-s32max |
| USER_DATA | 0 | txc->errcnt | s32min-s32max |
| USER_DATA | 0 | txc->esterror | s32min-s32max |
| USER_DATA | 0 | txc->freq | s32min-s32max |
| USER_DATA | 0 | txc->jitcnt | s32min-s32max |
| USER_DATA | 0 | txc->jitter | s32min-s32max |
| USER_DATA | 0 | txc->maxerror | s32min-s32max |
| USER_DATA | 0 | txc->modes | 0-u32max |
| USER_DATA | 0 | txc->offset | s32min-s32max |
| USER_DATA | 0 | txc->ppsfreq | s32min-s32max |
| USER_DATA | 0 | txc->precision | s32min-s32max |
| USER_DATA | 0 | txc->shift | s32min-s32max |
| USER_DATA | 0 | txc->stabil | s32min-s32max |
| USER_DATA | 0 | txc->status | s32min-s32max |
| USER_DATA | 0 | txc->stbcnt | s32min-s32max |
| USER_DATA | 0 | txc->tick | s32min-s32max |
| USER_DATA | 0 | txc->time.tv_sec | s32min-s32max |
| USER_DATA | 0 | txc->time.tv_usec | s32min-s32max |
| USER_DATA | 0 | txc->tolerance | s32min-s32max |
kernel/time/time.c __do_sys_adjtimex_time32() -> do_adjtimex()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | txc | 1350254909974437888 |
| PARAM_VALUE | 0 | txc->calcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->constant | s32min-s32max |
| PARAM_VALUE | 0 | txc->errcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->esterror | s32min-s32max |
| PARAM_VALUE | 0 | txc->freq | s32min-s32max |
| PARAM_VALUE | 0 | txc->jitcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->jitter | s32min-s32max |
| PARAM_VALUE | 0 | txc->maxerror | s32min-s32max |
| PARAM_VALUE | 0 | txc->offset | s32min-s32max |
| PARAM_VALUE | 0 | txc->ppsfreq | s32min-s32max |
| PARAM_VALUE | 0 | txc->precision | s32min-s32max |
| PARAM_VALUE | 0 | txc->stabil | s32min-s32max |
| PARAM_VALUE | 0 | txc->stbcnt | s32min-s32max |
| PARAM_VALUE | 0 | txc->tai | 0 |
| PARAM_VALUE | 0 | txc->tick | s32min-s32max |
| PARAM_VALUE | 0 | txc->time.tv_sec | s32min-s32max |
| PARAM_VALUE | 0 | txc->time.tv_usec | s32min-s32max |
| PARAM_VALUE | 0 | txc->tolerance | s32min-s32max |
| MEM_ZERO | 0 | txc | |
| USER_DATA | 0 | txc->calcnt | s32min-s32max |
| USER_DATA | 0 | txc->constant | s32min-s32max |
| USER_DATA | 0 | txc->errcnt | s32min-s32max |
| USER_DATA | 0 | txc->esterror | s32min-s32max |
| USER_DATA | 0 | txc->freq | s32min-s32max |
| USER_DATA | 0 | txc->jitcnt | s32min-s32max |
| USER_DATA | 0 | txc->jitter | s32min-s32max |
| USER_DATA | 0 | txc->maxerror | s32min-s32max |
| USER_DATA | 0 | txc->modes | 0-u32max |
| USER_DATA | 0 | txc->offset | s32min-s32max |
| USER_DATA | 0 | txc->ppsfreq | s32min-s32max |
| USER_DATA | 0 | txc->precision | s32min-s32max |
| USER_DATA | 0 | txc->shift | s32min-s32max |
| USER_DATA | 0 | txc->stabil | s32min-s32max |
| USER_DATA | 0 | txc->status | s32min-s32max |
| USER_DATA | 0 | txc->stbcnt | s32min-s32max |
| USER_DATA | 0 | txc->tick | s32min-s32max |
| USER_DATA | 0 | txc->time.tv_sec | s32min-s32max |
| USER_DATA | 0 | txc->time.tv_usec | s32min-s32max |
| USER_DATA | 0 | txc->tolerance | s32min-s32max |