Defined in 1 files as a function:
Referenced in 5 files:
- arch/arm64/kvm/arm.c, line 132
- arch/loongarch/kvm/vcpu.c, line 384
- arch/riscv/kvm/vcpu.c, line 241
- arch/x86/kvm/x86.c, line 10384
- virt/kvm/kvm_main.c, line 189
Smatch caller information:
arch/x86/kvm/x86.c kvm_arch_vcpu_should_kick() -> kvm_vcpu_exiting_guest_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->vcpu_id | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vcpu->vcpu_id | 0-s32max[c] |
| HALF_LOCKED2 | 0 | &vcpu->kvm->arch.xen.shinfo_cache.lock |
arch/x86/kvm/../../../virt/kvm/kvm_main.c kvm_request_needs_ipi() -> kvm_vcpu_exiting_guest_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| DATA_SOURCE | 0 | vcpu | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING |