Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/time/posix-timers.c __do_sys_timer_delete() -> posix_timer_unhash_and_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->ignored_list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tmr->ignored_list.next | 0 |
| PARAM_VALUE | 0 | tmr->ignored_list.pprev | 0 |
| PARAM_VALUE | 0 | tmr->it.alarm.alarmtimer.state | 0,2-2147483646 |
| PARAM_VALUE | 0 | tmr->it.alarm.alarmtimer.timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.alarm.alarmtimer.timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.cpu.firing | 0 |
| PARAM_VALUE | 0 | tmr->it.cpu.head | 0 |
| PARAM_VALUE | 0 | tmr->it.real.timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.real.timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.real.timer.is_queued | 0 |
| PARAM_VALUE | 0 | tmr->it.real.timer.node.node.next | 0 |
| PARAM_VALUE | 0 | tmr->it.real.timer.node.node.prev | 0 |
| PARAM_VALUE | 0 | tmr->it_id | 0-s32max |
| PARAM_VALUE | 0 | tmr->it_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tmr->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_status | 0 |
| PARAM_VALUE | 0 | tmr->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock->timer_del | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tmr->list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts->ns->work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts->ns->work.entry.next->prev | 4096-ptr_max |
| NOCHECK_CALL | |||
| USER_DATA | 0 | tmr->it_id | 0-s32max[c] |
kernel/time/posix-timers.c __do_sys_timer_delete() -> posix_timer_unhash_and_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->ignored_list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tmr->ignored_list.next | 0 |
| PARAM_VALUE | 0 | tmr->ignored_list.pprev | 0 |
| PARAM_VALUE | 0 | tmr->it.alarm.alarmtimer.state | 0,2-2147483646 |
| PARAM_VALUE | 0 | tmr->it.alarm.alarmtimer.timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.alarm.alarmtimer.timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.cpu.firing | 0 |
| PARAM_VALUE | 0 | tmr->it.cpu.head | 0 |
| PARAM_VALUE | 0 | tmr->it.real.timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.real.timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | tmr->it.real.timer.is_queued | 0 |
| PARAM_VALUE | 0 | tmr->it.real.timer.node.node.next | 0 |
| PARAM_VALUE | 0 | tmr->it.real.timer.node.node.prev | 0 |
| PARAM_VALUE | 0 | tmr->it_id | 0-s32max |
| PARAM_VALUE | 0 | tmr->it_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | tmr->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_status | 0 |
| PARAM_VALUE | 0 | tmr->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock->timer_del | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tmr->list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts->ns->work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts->ns->work.entry.next->prev | 4096-ptr_max |
| NOCHECK_CALL | |||
| USER_DATA | 0 | tmr->it_id | 0-s32max[c] |
kernel/time/posix-timers.c do_timer_create() -> posix_timer_unhash_and_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_clock | s32min-23 |
| PARAM_VALUE | 0 | tmr->it_id | 0-s32max |
| PARAM_VALUE | 0 | tmr->it_overrun | (-1) |
| PARAM_VALUE | 0 | tmr->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock->clock_adj | 0,308711854044282880,933119345435987968,9100961956446453760 |
| PARAM_VALUE | 0 | tmr->kclock->clock_get_ktime | 0,75312945300856832,3474305092751908864,7099167538851430400,7844280035355746304,9185796694241619968 |
| PARAM_VALUE | 0 | tmr->kclock->clock_get_timespec | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock->clock_getres | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock->clock_set | 0,1547627656330903552,3486144354328719360,3592579918463279104,8176644333487288320 |
| PARAM_VALUE | 0 | tmr->kclock->nsleep | 0,4068467906788110336,5126927625503264768,6564650006347571200,6728298139474014208,7268887998400737280 |
| PARAM_VALUE | 0 | tmr->kclock->timer_arm | 0,6995613811968700416,9108309132585336832 |
| PARAM_VALUE | 0 | tmr->kclock->timer_create | 3284269029036478464,4420953281777524736,4804910958056529920,6605529347474452480,8402412729797378048 |
| PARAM_VALUE | 0 | tmr->kclock->timer_del | 0,1267632303334969344,6348039699707310080 |
| PARAM_VALUE | 0 | tmr->kclock->timer_forward | 0,303118518065209344,6096664290943959040 |
| PARAM_VALUE | 0 | tmr->kclock->timer_get | 0,7003123726909411328,7147867175668318208 |
| PARAM_VALUE | 0 | tmr->kclock->timer_rearm | 0,22236477743910912,5796487399725293568,8538074615804018688 |
| PARAM_VALUE | 0 | tmr->kclock->timer_remaining | 0,2010927714353733632,3714039783417073664 |
| PARAM_VALUE | 0 | tmr->kclock->timer_set | 0,3631986233314340864,8868276196397350912 |
| PARAM_VALUE | 0 | tmr->kclock->timer_try_to_cancel | 0,3770131626445881344,5691013029541244928 |
| PARAM_VALUE | 0 | tmr->kclock->timer_wait_running | 0,1230893606465568768,4900699504205467648,5376416230782341120 |
| PARAM_VALUE | 0 | tmr->rcuref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | tmr->sigq.flags | 1 |
| PARAM_VALUE | 0 | tmr->sigq.info._sifields._rt._pid | 0 |
| PARAM_VALUE | 0 | tmr->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| PARAM_VALUE | 0 | tmr->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | tmr->sigq.info._sifields._timer._tid | 0-s32max |
| PARAM_VALUE | 0 | tmr->sigq.info.si_code | (-2),0 |
| PARAM_VALUE | 0 | tmr->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | tmr->sigq.ucounts | 1-u64max |
| PARAM_VALUE | 0 | tmr->t_hash.pprev | 4096-ptr_max |
| BUF_SIZE | 0 | tmr->kclock | (-1),128 |
| DATA_SOURCE | 0 | tmr | r alloc_posix_timer |
| BIT_INFO | 0 | tmr->sigq.info.si_code | 0x0,0xfffffffe |
| NOCHECK_CALL | |||
| USER_DATA | 0 | tmr->it_clock | s32min-23 |
| USER_DATA | 0 | tmr->it_id | 0-s32max |
| USER_DATA | 0 | tmr->it_sigev_notify | s32min-s32max |
| USER_DATA | 0 | tmr->sigq.info._sifields._rt._sigval.sival_int | 0-s32max |
| USER_DATA | 0 | tmr->sigq.info._sifields._timer._tid | 0-s32max |
| USER_DATA | 0 | tmr->sigq.info.si_signo | s32min-s32max |
kernel/time/posix-timers.c exit_itimers() -> posix_timer_unhash_and_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->ignored_list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tmr->ignored_list.next | 0 |
| PARAM_VALUE | 0 | tmr->ignored_list.pprev | 0 |
| PARAM_VALUE | 0 | tmr->it_pid | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_process | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->it_status | 0 |
| PARAM_VALUE | 0 | tmr->kclock | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->kclock->timer_del | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->list->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | tmr->list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts | 0,4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts->ns->work.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tmr->sigq.ucounts->ns->work.entry.next->prev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &tsk->signal->exec_update_lock |