Defined in 1 files as a prototype:
Defined in 2 files as a function:
- include/linux/posix-timers.h, line 148 (as a function)
- kernel/time/posix-timers.c, line 442 (as a function)
Referenced in 2 files:
Smatch caller information:
kernel/time/posix-timers.c do_timer_create() -> posixtimer_free_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 4096-ptr_max |
| 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 |
| PARAM_VALUE | 0 | tmr->sigq.info._sifields._rt._uid | 0 |
| PARAM_VALUE | 0 | tmr->sigq.info._sifields._timer._tid | 0 |
| PARAM_VALUE | 0 | tmr->sigq.info.si_code | 0 |
| PARAM_VALUE | 0 | tmr->sigq.info.si_errno | 0 |
| PARAM_VALUE | 0 | tmr->sigq.info.si_signo | 0 |
| PARAM_VALUE | 0 | tmr->sigq.ucounts | 1-u64max |
| DATA_SOURCE | 0 | tmr | r alloc_posix_timer |
| NOCHECK_CALL |
kernel/time/posix-timers.c posixtimer_putref() -> posixtimer_free_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 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 | 0,3284269029036478464,4420953281777524736,4804910958056529920,6605529347474452480,8402412729797378048 |
| PARAM_VALUE | 0 | tmr->kclock->timer_del | 0,4096-ptr_max |
| 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 |
| BUF_SIZE | 0 | tmr->kclock | (-1),128 |
| DATA_SOURCE | 0 | tmr | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 |
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &tmr->it_lock |
kernel/signal.c posixtimer_putref() -> posixtimer_free_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tmr | 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 | 0,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 |
| DATA_SOURCE | 0 | tmr | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | tmr->it.alarm.alarmtimer.node.expires | 0-9223372035999999999[c] |
| USER_DATA | 0 | tmr->it.alarm.alarmtimer.timer._softexpires | s64min-s64max |
| USER_DATA | 0 | tmr->it.real.timer.node.expires | 0[c] |
| USER_DATA | 0 | tmr->it_clock | s32min-23 |
| USER_DATA | 0 | tmr->it_id | 0-s32max[c] |
| USER_DATA | 0 | tmr->it_interval | 0-9223372035999999999[c] |
| HALF_LOCKED2 | &tsk->sighand->siglock | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &tmr->it_lock |