Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/time.c get_old_itimerspec32() -> __get_old_timespec32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts64 | 6929838691778711552,8879171308843245568 |
kernel/time/time.c get_old_itimerspec32() -> __get_old_timespec32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts64 | 6929838691778711568,8879171308843245584 |
| PARAM_VALUE | 1 | cts | 4096-ptr_max |
kernel/time/time.c get_old_timespec32() -> __get_old_timespec32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ts64 | 4096-ptr_max |
| BUF_SIZE | 0 | ts64 | (-1),32 |
| BUF_SIZE | 0 | ts64 | (-1),32 |
| DATA_SOURCE | 0 | ts64 | $0 |
| DATA_SOURCE | 1 | cts | $1 |