Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/timer.c add_timer() -> __mod_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->entry.pprev 0
PARAM_VALUE 2 options 4
DATA_SOURCE 0 timer $0
NOCHECK_CALL
UNITS 1 expires unit_jiffy

kernel/time/timer.c add_timer_global() -> __mod_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 0 timer->entry.pprev 0
PARAM_VALUE 2 options 4
BUF_SIZE 0 timer 88
DATA_SOURCE 0 timer $0
BIT_INFO 0 timer->flags 0x0,0xffefffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 expires unit_jiffy
LOCK2 irq_flags

kernel/time/timer.c add_timer_local() -> __mod_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 3858974410868531200
PARAM_VALUE 0 timer->entry.pprev 0
PARAM_VALUE 0 timer->flags 0,1048576-u32max
PARAM_VALUE 2 options 4
DATA_SOURCE 0 timer $0
BIT_INFO 0 timer->flags 0x100000,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 expires unit_jiffy
LOCK2 global &watchdog_lock

kernel/time/timer.c mod_timer() -> __mod_timer()

Type Parameter Key Value
PARAM_VALUE 2 options 0
DATA_SOURCE 0 timer $0
DATA_SOURCE 1 expires $1

kernel/time/timer.c mod_timer_pending() -> __mod_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 2 options 1
DATA_SOURCE 0 timer $0
DATA_SOURCE 1 expires $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 expires unit_jiffy
HALF_LOCKED2 &ioat_chan->cleanup_lock
HALF_LOCKED2 &ioat_chan->prep_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &xenwatch_mutex
HALF_LOCKED2 rcu_read

kernel/time/timer.c timer_reduce() -> __mod_timer()

Type Parameter Key Value
PARAM_VALUE 0 timer 4096-ptr_max
PARAM_VALUE 2 options 2
DATA_SOURCE 0 timer $0
DATA_SOURCE 1 expires $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 1 expires unit_jiffy
HALF_LOCKED2 &cookie->lock
HALF_LOCKED2 &lo->lo_work_lock
HALF_LOCKED2 &mns->keys_lock
HALF_LOCKED2 &net->mctp.keys_lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &fscache_cookie_lru_lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read