Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/time/posix-timers.c posix_timer_delete() -> (struct k_clock)->timer_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->ignored_list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | timer->ignored_list.next | 0 |
| PARAM_VALUE | 0 | timer->ignored_list.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | timer->ignored_list.pprev | 0 |
| PARAM_VALUE | 0 | timer->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->kclock->timer_del | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->kclock->timer_wait_running | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.ucounts | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->sigq.ucounts->ns->work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->sigq.ucounts->ns->work.entry.next->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | timer | $0 |
| CONTAINER | 0 | -64-56+0 | $(-1) |
| BIT_INFO | 0 | timer->it_signal | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | timer->it_id | 0-s32max[c] |
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &timer->it_lock |
kernel/time/posix-timers.c posix_timer_delete() -> (struct k_clock)->timer_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->ignored_list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | timer->ignored_list.next | 0 |
| PARAM_VALUE | 0 | timer->ignored_list.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | timer->ignored_list.pprev | 0 |
| PARAM_VALUE | 0 | timer->it_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | timer->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->kclock->timer_del | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->kclock->timer_wait_running | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | timer->sigq.ucounts | 0,4096-ptr_max |
| PARAM_VALUE | 0 | timer->sigq.ucounts->ns->work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->sigq.ucounts->ns->work.entry.next->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | timer | $0 |
| CONTAINER | 0 | -64-56+0 | $(-1) |
| BIT_INFO | 0 | timer->it_signal | 0x1,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | timer->it_id | 0-s32max[c] |
| LOCK2 | irq | ||
| LOCK2 | 0 | &timer->it_lock | |
| TYPE_LOCK | (struct k_itimer)->it_lock |