Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/time/hrtimer.c __hrtimer_rearm_deferred() -> hrtimer_rearm()

Type Parameter Key Value
PARAM_VALUE 0 cpu_base 4096-ptr_max
PARAM_VALUE 0 cpu_base->deferred_expires_next 0-s64max
PARAM_VALUE 0 cpu_base->deferred_rearm 1
PARAM_VALUE 0 cpu_base->softirq_expires_next (-9223372036854775807)-s64max
PARAM_VALUE 1 expires_next 0-s64max
PARAM_VALUE 2 deferred 1
CAPPED_DATA 1 expires_next 1
CAPPED_DATA 1 expires_next 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &cpu_base->lock
HALF_LOCKED2 irq
TYPE_LOCK (struct hrtimer_cpu_base)->lock