Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/time/posix-timers.c do_timer_settime() -> timer_wait_running()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->it_id 0-s32max
PARAM_VALUE 0 timer->kclock 4096-ptr_max
PARAM_VALUE 0 timer->kclock->clock_adj 0,308711854044282880,933119345435987968,9100961956446453760
PARAM_VALUE 0 timer->kclock->clock_get_ktime 0,75312945300856832,3474305092751908864,7099167538851430400,7844280035355746304,9185796694241619968
PARAM_VALUE 0 timer->kclock->clock_get_timespec 0,4096-ptr_max
PARAM_VALUE 0 timer->kclock->clock_getres 0,4096-ptr_max
PARAM_VALUE 0 timer->kclock->clock_set 0,1547627656330903552,3486144354328719360,3592579918463279104,8176644333487288320
PARAM_VALUE 0 timer->kclock->nsleep 0,4068467906788110336,5126927625503264768,6564650006347571200,6728298139474014208,7268887998400737280
PARAM_VALUE 0 timer->kclock->timer_arm 0,6995613811968700416,9108309132585336832
PARAM_VALUE 0 timer->kclock->timer_create 0,3284269029036478464,4420953281777524736,4804910958056529920,6605529347474452480,8402412729797378048
PARAM_VALUE 0 timer->kclock->timer_del 0,1267632303334969344,6348039699707310080
PARAM_VALUE 0 timer->kclock->timer_forward 0,303118518065209344,6096664290943959040
PARAM_VALUE 0 timer->kclock->timer_get 0,7003123726909411328,7147867175668318208
PARAM_VALUE 0 timer->kclock->timer_rearm 0,22236477743910912,5796487399725293568,8538074615804018688
PARAM_VALUE 0 timer->kclock->timer_remaining 0,2010927714353733632,3714039783417073664
PARAM_VALUE 0 timer->kclock->timer_set 0,3631986233314340864,8868276196397350912
PARAM_VALUE 0 timer->kclock->timer_try_to_cancel 0,3770131626445881344,5691013029541244928
PARAM_VALUE 0 timer->kclock->timer_wait_running 0,1230893606465568768,4900699504205467648,5376416230782341120
NOCHECK_CALL
USER_DATA 0 timer->it_id 0-s32max[c]
LOCK2 rcu_read

kernel/time/posix-timers.c posix_timer_delete() -> timer_wait_running()

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 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
BIT_INFO 0 timer->it_signal 0x1,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 timer->it_id 0-s32max[c]
LOCK2 rcu_read