Open Menu /

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 5 files:

Smatch caller information:

kernel/time/itimer.c do_setitimer() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
BUF_SIZE 0 timer 80
CAPPED_DATA 0 timer 1
CAPPED_DATA 0 timer->base 1
CAPPED_DATA 0 timer->base->cpu_base 1
CAPPED_DATA 0 timer->base->running 1
PARAM_COMPARE 0 timer == $0->base->running
PARAM_COMPARE 0 timer == $0->base->running
NOCHECK_CALL

kernel/time/hrtimer.c hrtimer_cancel() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
CAPPED_DATA 0 timer 1
CAPPED_DATA 0 timer->base 1
CAPPED_DATA 0 timer->base->cpu_base 1
CAPPED_DATA 0 timer->base->running 1
DATA_SOURCE 0 timer $0
PARAM_COMPARE 0 timer == $0->base->running
PARAM_COMPARE 0 timer == $0->base->running
NOCHECK_CALL

kernel/time/posix-timers.c common_timer_wait_running() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read

fs/timerfd.c do_timerfd_settime() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
CAPABLE 0 35
NOCHECK_CALL

fs/timerfd.c do_timerfd_settime() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
NOCHECK_CALL

kernel/time/alarmtimer.c alarm_cancel() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/time/alarmtimer.c alarm_timer_wait_running() -> hrtimer_cancel_wait_running()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 rcu_read