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 1001
- kernel/time/posix-stubs.c
- kernel/time/posix-timers.c, line 201
- kernel/time/time.c
Smatch caller information:
kernel/time/posix-timers.c posix_clock_realtime_set() -> do_sys_settimeofday64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tv | 5600820067894091776,6948930233408114688 |
| PARAM_VALUE | 1 | tz | 0 |
| DATA_SOURCE | 0 | tv | $1 |
| USER_DATA | 0 | tv->tv_nsec | s64min-s64max |
| USER_DATA | 0 | tv->tv_sec | s64min-s64max |
kernel/time/time.c __do_compat_sys_settimeofday() -> do_sys_settimeofday64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tv | 0,2934050260975841280 |
| PARAM_VALUE | 0 | tv->tv_nsec | 0-999999000 |
| PARAM_VALUE | 0 | tv->tv_sec | 0-s32max |
| PARAM_VALUE | 1 | tz | 0,2022496927869628416 |
| BUF_SIZE | 0 | tv | 0,16 |
| BUF_SIZE | 1 | tz | 0,8 |
| BIT_INFO | 0 | tv | 0x0,0x28b7d72ac69b7000 |
| BIT_INFO | 1 | tz | 0x0,0x1c115a3d80fcf000 |
| USER_DATA | 0 | tv->tv_nsec | 0-999999000[c] |
| USER_DATA | 0 | tv->tv_sec | 0-4294967295 |
| USER_DATA | 1 | tz->tz_dsttime | s32min-s32max |
| USER_DATA | 1 | tz->tz_minuteswest | s32min-s32max |
kernel/time/time.c __do_compat_sys_settimeofday() -> do_sys_settimeofday64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tv | 0,2934050260975841280 |
| PARAM_VALUE | 0 | tv->tv_nsec | 0-999999000 |
| PARAM_VALUE | 0 | tv->tv_sec | 0-s32max |
| PARAM_VALUE | 1 | tz | 0,2022496927869628416 |
| BUF_SIZE | 0 | tv | 0,16 |
| BUF_SIZE | 1 | tz | 0,8 |
| BIT_INFO | 0 | tv | 0x0,0x28b7d72ac69b7000 |
| BIT_INFO | 1 | tz | 0x0,0x1c115a3d80fcf000 |
| USER_DATA | 0 | tv->tv_nsec | 0-999999000[c] |
| USER_DATA | 0 | tv->tv_sec | 0-4294967295 |
| USER_DATA | 1 | tz->tz_dsttime | s32min-s32max |
| USER_DATA | 1 | tz->tz_minuteswest | s32min-s32max |
kernel/time/time.c __do_sys_settimeofday() -> do_sys_settimeofday64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tv | 0,4049936384071921664 |
| PARAM_VALUE | 0 | tv->tv_nsec | 0-999999000 |
| PARAM_VALUE | 1 | tz | 0,9050555293496131584 |
| BUF_SIZE | 0 | tv | 0,16 |
| BUF_SIZE | 1 | tz | 0,8 |
| BIT_INFO | 0 | tv | 0x0,0x383443af0f897000 |
| BIT_INFO | 1 | tz | 0x0,0x7d9a081668de4000 |
| USER_DATA | 0 | tv->tv_nsec | 0-999999000[c] |
| USER_DATA | 0 | tv->tv_sec | s64min-s64max |
| USER_DATA | 1 | tz->tz_dsttime | s32min-s32max |
| USER_DATA | 1 | tz->tz_minuteswest | s32min-s32max |
kernel/time/time.c __do_sys_settimeofday() -> do_sys_settimeofday64()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tv | 0,4049936384071921664 |
| PARAM_VALUE | 0 | tv->tv_nsec | 0-999999000 |
| PARAM_VALUE | 1 | tz | 0,9050555293496131584 |
| BUF_SIZE | 0 | tv | 0,16 |
| BUF_SIZE | 1 | tz | 0,8 |
| BIT_INFO | 0 | tv | 0x0,0x383443af0f897000 |
| BIT_INFO | 1 | tz | 0x0,0x7d9a081668de4000 |
| USER_DATA | 0 | tv->tv_nsec | 0-999999000[c] |
| USER_DATA | 0 | tv->tv_sec | s64min-s64max |
| USER_DATA | 1 | tz->tz_dsttime | s32min-s32max |
| USER_DATA | 1 | tz->tz_minuteswest | s32min-s32max |