Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- fs/select.c, line 343
- kernel/sched/syscalls.c, line 1562
- kernel/time/hrtimer.c, line 2408
- kernel/time/posix-stubs.c
- kernel/time/posix-timers.c
- kernel/time/time.c
- net/core/sock.c, line 3940
- net/socket.c, line 3147
Smatch caller information:
kernel/sched/build_policy.c __do_sys_sched_rr_get_interval() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 1775873529899200512 |
| PARAM_VALUE | 0 | ts->tv_nsec | 0-4294967295 |
| DATA_SOURCE | 1 | uts | $1 |
| USER_DATA | 1 | uts | 0-u64max |
kernel/sched/build_policy.c __do_sys_sched_rr_get_interval() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 1775873529899200512 |
| PARAM_VALUE | 0 | ts->tv_nsec | 0-4294967295 |
| DATA_SOURCE | 1 | uts | $1 |
| USER_DATA | 1 | uts | 0-u64max |
kernel/time/hrtimer.c nanosleep_copyout() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 539191400642805760,3214628412952829968,5069906051300327424 |
| DATA_SOURCE | 0 | ts | $1 |
| USER_DATA | 0 | ts->tv_nsec | 0-999999999 |
| USER_DATA | 0 | ts->tv_sec | 0-s64max |
kernel/time/posix-timers.c __do_sys_clock_getres() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 6946105392927563776 |
| PARAM_VALUE | 1 | uts | 1-u64max |
| DATA_SOURCE | 1 | uts | $1 |
| USER_DATA | 1 | uts | 1-u64max |
kernel/time/posix-timers.c __do_sys_clock_getres() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 6946105392927563776 |
| PARAM_VALUE | 1 | uts | 1-u64max |
| DATA_SOURCE | 1 | uts | $1 |
| USER_DATA | 1 | uts | 1-u64max |
kernel/time/posix-timers.c __do_sys_clock_gettime() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 2256598480787394560 |
| DATA_SOURCE | 1 | uts | $1 |
| USER_DATA | 1 | uts | 0-u64max |
kernel/time/posix-timers.c __do_sys_clock_gettime() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 2256598480787394560 |
| DATA_SOURCE | 1 | uts | $1 |
| USER_DATA | 1 | uts | 0-u64max |
kernel/time/time.c put_itimerspec64() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 1319301698241007616,5212789215933796352,5883472061765767168,7810997129998409728 |
kernel/time/time.c put_itimerspec64() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 1319301698241007632,5212789215933796368,5883472061765767184,7810997129998409744 |
| PARAM_VALUE | 1 | uts | 4096-ptr_max |
net/core/sock.c sock_gettstamp() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 8200070039378915328 |
| DATA_SOURCE | 1 | uts | $1 |
net/socket.c __sys_recvmmsg() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 8238260808421322752 |
| PARAM_VALUE | 1 | uts | 1-u64max |
| DATA_SOURCE | 1 | uts | $4 |
| USER_DATA | 0 | ts->tv_nsec | s64min-s64max |
| USER_DATA | 0 | ts->tv_sec | s64min-s64max |
| USER_DATA | 1 | uts | 1-u64max |
fs/select.c poll_select_finish() -> put_timespec64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts | 8811819716806246400 |
| PARAM_VALUE | 0 | ts->tv_sec | 0-s64max |
| PARAM_VALUE | 1 | uts | 1-u64max |
| DATA_SOURCE | 1 | uts | $1 |