Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/time/posix-cpu-timers.c posix_cpu_timer_rearm() -> arm_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->it.cpu.pid 0,4096-ptr_max
PARAM_VALUE 0 timer->it_interval s64min-(-1),1-s64max
PARAM_VALUE 0 timer->it_status 2
PARAM_VALUE 0 timer->kclock 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->sighand 1-u64max
PARAM_VALUE 1 p->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 1 p->signal 4096-ptr_max
PARAM_VALUE 1 p->signal->posix_cputimers.timers_active 1-u32max
CAPPED_DATA 0 timer->it_signal_seq 1
CAPPED_DATA 0 timer->it_sigqueue_seq 1
CAPPED_DATA 1 p 1
CAPPED_DATA 1 p->sighand 1
DATA_SOURCE 0 timer $0
DATA_SOURCE 1 p r timer_lock_sighand
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &timer->it_lock
HALF_LOCKED2 &sighand->siglock
HALF_LOCKED2 &task->sighand->siglock
HALF_LOCKED2 &tsk->sighand->siglock
TYPE_LOCK (struct k_itimer)->it_lock

kernel/time/posix-cpu-timers.c posix_cpu_timer_set() -> arm_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->it.cpu.firing 0
PARAM_VALUE 0 timer->it.cpu.head 0
PARAM_VALUE 0 timer->it.cpu.pid 0,4096-ptr_max
PARAM_VALUE 0 timer->it_id 0-s32max
PARAM_VALUE 0 timer->it_sigev_notify s32min-0,2-s32max
PARAM_VALUE 0 timer->it_status 0
PARAM_VALUE 0 timer->kclock 4096-ptr_max
PARAM_VALUE 1 p 4096-ptr_max
PARAM_VALUE 1 p->sighand 1-u64max
PARAM_VALUE 1 p->sighand->siglock.rlock.dep_map->name 0-255
PARAM_VALUE 1 p->signal 4096-ptr_max
PARAM_VALUE 1 p->signal->posix_cputimers.timers_active 1
CAPPED_DATA 1 p 1
CAPPED_DATA 1 p->sighand 1
DATA_SOURCE 0 timer $0
DATA_SOURCE 1 p r timer_lock_sighand
NOCHECK_CALL
USER_DATA 0 timer->it_clock s32min-23
USER_DATA 0 timer->it_id 0-s32max[c]
HALF_LOCKED2 &timer.it_lock
HALF_LOCKED2 irq