Defined in 1 files as a function:
Referenced in 9 files:
- arch/mips/kvm/emulate.c, line 940
- arch/x86/kvm/i8254.c, line 279
- drivers/gpu/drm/i915/gvt/display.c, line 550
- drivers/gpu/drm/i915/gvt/sched_policy.c, line 273
- drivers/media/rc/pwm-ir-tx.c, line 138
- drivers/watchdog/softdog.c, line 112
- kernel/time/hrtimer.c, line 1107
- kernel/time/tick-sched.c, line 1512
- sound/core/hrtimer.c, line 55
Smatch caller information:
sound/core/hrtimer.c snd_hrtimer_callback() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| CAPPED_DATA | 0 | timer | 1 |
| DATA_SOURCE | 0 | timer | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &t->lock | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct snd_timer)->lock |
drivers/watchdog/softdog.c softdog_fire() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 1 | ns | 60000000000 |
| CAPPED_DATA | 0 | timer | 1 |
| DATA_SOURCE | 0 | timer | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
arch/x86/kvm/i8254.c pit_timer_fn() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/gpu/drm/i915/gvt/sched_policy.c tbs_timer_fn() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
kernel/time/hrtimer.c hrtimer_forward() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| BUF_SIZE | 0 | timer | (-1),80 |
| BUF_SIZE | 0 | timer | (-1),80 |
| DATA_SOURCE | 0 | timer | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | timer->node.node.node.__rb_parent_color | 0-u64max |
| USER_DATA | 1 | ns | 0-u64max[c] |
| HALF_LOCKED2 | &ctx->wqh.lock | ||
| HALF_LOCKED2 | &gpwm->lock | ||
| HALF_LOCKED2 | &mbox->poll_hrt_lock | ||
| HALF_LOCKED2 | &op->bcm_rx_update_lock | ||
| HALF_LOCKED2 | &po->sk.sk_receive_queue.lock | ||
| HALF_LOCKED2 | &ppd->cca_timer_lock | ||
| HALF_LOCKED2 | &timr->it_lock | ||
| HALF_LOCKED2 | &tio->lock | ||
| HALF_LOCKED2 | &x->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | rcu_read |
kernel/time/tick-sched.c tick_setup_sched_timer() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 1 | ns | 0 |
| MEM_ZERO | 0 | timer | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/gpu/drm/i915/gvt/display.c vblank_timer_fn() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
drivers/media/rc/pwm-ir-tx.c pwm_ir_timer() -> hrtimer_add_expires_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 1 | ns | 0-u32max |
| CAPPED_DATA | 0 | timer | 1 |
| DATA_SOURCE | 0 | timer | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |