Defined in 1 files as a function:
Referenced in 4 files:
- drivers/media/rc/pwm-ir-tx.c, line 141
- kernel/sched/fair.c, line 7330
- kernel/time/hrtimer.c
- net/core/pktgen.c, line 2333
Smatch caller information:
net/core/pktgen.c spin() -> hrtimer_expires_remaining()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 7918161878255718400 |
| PARAM_VALUE | 0 | timer->base | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->function | 1-u64max |
| PARAM_VALUE | 0 | timer->is_rel | 0 |
| MEM_ZERO | 0 | timer |
kernel/time/hrtimer.c __hrtimer_get_remaining() -> hrtimer_expires_remaining()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->base | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->base->cpu_base | 4096-ptr_max |
| BUF_SIZE | 0 | timer | (-1),80 |
| BUF_SIZE | 0 | timer | (-1),80 |
| CAPPED_DATA | 0 | timer->base | 1 |
| DATA_SOURCE | 0 | timer | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | timer->_softexpires | s64min-s64max |
| HOST_DATA | 0 | timer->is_hard | 0-1 |
| HOST_DATA | 0 | timer->is_lazy | 0-1 |
| HOST_DATA | 0 | timer->is_queued | 0-1 |
| HOST_DATA | 0 | timer->is_rel | 0-1 |
| HOST_DATA | 0 | timer->is_soft | 0-1 |
| HOST_DATA | 0 | timer->node.expires | s64min-s64max |
| HOST_DATA | 0 | timer->node.node.node.__rb_parent_color | 1 |
| LOCK2 | &timer->base->cpu_base->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &pit_state->lock | ||
| HALF_LOCKED2 | &tsk->sighand->siglock | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct hrtimer_cpu_base)->lock |
kernel/time/hrtimer.c do_nanosleep() -> hrtimer_expires_remaining()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 2964396903775305728,6221740963720155136 |
kernel/sched/fair.c runtime_refresh_within() -> hrtimer_expires_remaining()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->base | 4096-ptr_max |
| BUF_SIZE | 0 | timer | 80 |
| CAPPED_DATA | 0 | timer | 1 |
| PARAM_COMPARE | 0 | timer | != $0->base->running |
| PARAM_COMPARE | 0 | timer | != $0->base->running |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &cfs_b->lock |
drivers/media/rc/pwm-ir-tx.c pwm_ir_timer() -> hrtimer_expires_remaining()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | timer | 4096-ptr_max |
| PARAM_VALUE | 0 | timer->is_queued | 0 |
| CAPPED_DATA | 0 | timer | 1 |
| DATA_SOURCE | 0 | timer | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | irq |