Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/hrtimer.c hrtimer_interrupt() -> hrtimer_interrupt_rearm()

Type Parameter Key Value
PARAM_VALUE 0 cpu_base 4096-ptr_max
PARAM_VALUE 1 expires_next 0-s64max
CAPPED_DATA 1 expires_next 1
CAPPED_DATA 1 expires_next 1
DATA_SOURCE 1 expires_next r hrtimer_update_next_event
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &cpu_base->lock
TYPE_LOCK (struct hrtimer_cpu_base)->lock