Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/posix-timers.c posix_timer_add() -> posix_timer_add_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->rcuref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | timer->sigq.flags | 1 |
| PARAM_VALUE | 0 | timer->sigq.info._sifields._rt._pid | 0 |
| PARAM_VALUE | 0 | timer->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | timer->sigq.info.si_code | 0 |
| PARAM_VALUE | 0 | timer->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | timer->sigq.info.si_signo | 0 |
| PARAM_VALUE | 0 | timer->sigq.list.next | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.next->next | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.prev | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.prev->next | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.ucounts | 1-u64max |
| PARAM_VALUE | 2 | id | 0-s32max |
| DATA_SOURCE | 0 | timer | $0 |
| DATA_SOURCE | 2 | id | $1 |
| USER_DATA | 2 | id | 0-s32max |
kernel/time/posix-timers.c posix_timer_add() -> posix_timer_add_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->rcuref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | timer->sigq.flags | 1 |
| PARAM_VALUE | 0 | timer->sigq.info._sifields._rt._pid | 0 |
| PARAM_VALUE | 0 | timer->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | timer->sigq.info.si_code | 0 |
| PARAM_VALUE | 0 | timer->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | timer->sigq.info.si_signo | 0 |
| PARAM_VALUE | 0 | timer->sigq.list.next | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.next->next | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.prev | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.prev->next | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.list.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.ucounts | 1-u64max |
| PARAM_VALUE | 1 | sig | 4096-ptr_max |
| PARAM_VALUE | 2 | id | 0-s32max |
| DATA_SOURCE | 0 | timer | $0 |