Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/hyperv.c kvm_hv_notify_acked_sint() -> stimer_mark_pending()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stimer | 4096-ptr_max |
| PARAM_VALUE | 0 | stimer->config.direct_mode | 0 |
| PARAM_VALUE | 0 | stimer->config.enable | 1 |
| PARAM_VALUE | 0 | stimer->msg_pending | 1 |
| PARAM_VALUE | 1 | vcpu_kick | 0 |
| CAPPED_DATA | 0 | stimer->config.sintx | 1 |
| NOCHECK_CALL |
arch/x86/kvm/hyperv.c stimer_set_config() -> stimer_mark_pending()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stimer | 4096-ptr_max |
| PARAM_VALUE | 0 | stimer->config.enable | 1 |
| PARAM_VALUE | 0 | stimer->exp_time | 0 |
| PARAM_VALUE | 0 | stimer->msg_pending | 0 |
| PARAM_VALUE | 0 | stimer->timer.is_queued | 0 |
| PARAM_VALUE | 0 | stimer->timer.node.node.next | 0 |
| PARAM_VALUE | 0 | stimer->timer.node.node.prev | 0 |
| PARAM_VALUE | 1 | vcpu_kick | 0 |
| CAPPED_DATA | 0 | stimer->timer.base | 1 |
| DATA_SOURCE | 0 | stimer | $0 |
| PARAM_COMPARE | 0 | &stimer->timer | != $0->timer.base->running |
| NOCHECK_CALL |
arch/x86/kvm/hyperv.c stimer_set_count() -> stimer_mark_pending()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stimer | 4096-ptr_max |
| PARAM_VALUE | 0 | stimer->config.enable | 1 |
| PARAM_VALUE | 0 | stimer->exp_time | 0 |
| PARAM_VALUE | 0 | stimer->msg_pending | 0 |
| PARAM_VALUE | 0 | stimer->timer.is_queued | 0 |
| PARAM_VALUE | 0 | stimer->timer.node.node.next | 0 |
| PARAM_VALUE | 0 | stimer->timer.node.node.prev | 0 |
| PARAM_VALUE | 1 | vcpu_kick | 0 |
| CAPPED_DATA | 0 | stimer->timer.base | 1 |
| DATA_SOURCE | 0 | stimer | $0 |
| PARAM_COMPARE | 0 | &stimer->timer | != $0->timer.base->running |
| NOCHECK_CALL |
arch/x86/kvm/hyperv.c stimer_start() -> stimer_mark_pending()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stimer | 4096-ptr_max |
| PARAM_VALUE | 0 | stimer->config.enable | 1 |
| PARAM_VALUE | 0 | stimer->config.periodic | 0 |
| PARAM_VALUE | 0 | stimer->count | 1-u64max |
| PARAM_VALUE | 0 | stimer->exp_time | 1-u64max |
| PARAM_VALUE | 0 | stimer->msg_pending | 0 |
| PARAM_VALUE | 1 | vcpu_kick | 0 |
| CAPPED_DATA | 0 | stimer->count | 1 |
| DATA_SOURCE | 0 | stimer | $0 |
| NOCHECK_CALL | |||
| LOCK2 | &vcpu->kvm->srcu | ||
| LOCK2 | &vcpu->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/hyperv.c stimer_timer_callback() -> stimer_mark_pending()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | stimer | 4096-ptr_max |
| PARAM_VALUE | 1 | vcpu_kick | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |