Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/alarmtimer.c alarm_start_timer() -> alarmtimer_dequeue()

Type Parameter Key Value
PARAM_VALUE 0 base 4096-ptr_max
PARAM_VALUE 0 base->timerqueue.rb_root.rb_leftmost 4096-ptr_max
PARAM_VALUE 0 base->timerqueue.rb_root.rb_leftmost->rb_left 0
PARAM_VALUE 0 base->timerqueue.rb_root.rb_root.rb_node 4096-ptr_max
PARAM_VALUE 1 alarm 4096-ptr_max
PARAM_VALUE 1 alarm->node.node.__rb_parent_color 1
PARAM_VALUE 1 alarm->node.node.rb_left 4096-ptr_max
PARAM_VALUE 1 alarm->node.node.rb_right 4096-ptr_max
PARAM_VALUE 1 alarm->state 0-s32max
PARAM_VALUE 1 alarm->timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color 1
PARAM_VALUE 1 alarm->timer.base->cpu_base->lock.dep_map->name 0-255
PARAM_VALUE 1 alarm->timer.is_queued 0
BUF_SIZE 1 alarm (-1),136
BUF_SIZE 1 alarm (-1),136
CAPPED_DATA 1 &alarm->timer 1
DATA_SOURCE 1 alarm $0
NOSPEC 1 alarm->timer._softexpires
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 alarm->node.expires 0-9223372035999999999[c]
USER_DATA 1 alarm->timer._softexpires s64min-s64max
LOCK2 irq
LOCK2 0 &base->lock
HALF_LOCKED2 &ctx->wqh.lock
HALF_LOCKED2 &timr->it_lock
TYPE_LOCK (struct alarm_base)->lock

kernel/time/alarmtimer.c alarm_try_to_cancel() -> alarmtimer_dequeue()

Type Parameter Key Value
PARAM_VALUE 1 alarm 4096-ptr_max
PARAM_VALUE 1 alarm->timer.is_queued 0
CAPPED_DATA 1 alarm->timer.base 1
CAPPED_DATA 1 &alarm->timer 1
DATA_SOURCE 1 alarm $0
PARAM_COMPARE 1 &alarm->timer != $1->timer.base->running
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 alarm->node.expires 0-9223372035999999999[c]
USER_DATA 1 alarm->timer.node.expires 0-9223372035999999999[c]
LOCK2 irq
LOCK2 0 &base->lock
HALF_LOCKED2 &ctx->wqh.lock
TYPE_LOCK (struct alarm_base)->lock

kernel/time/alarmtimer.c alarmtimer_fired() -> alarmtimer_dequeue()

Type Parameter Key Value
PARAM_VALUE 1 alarm 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &base->lock
TYPE_LOCK (struct alarm_base)->lock