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