Defined in 1 files as a prototype:
Defined in 7 files as a function:
- arch/arm64/kvm/arm.c, line 130 (as a function)
- arch/loongarch/kvm/vcpu.c, line 382 (as a function)
- arch/mips/kvm/mips.c, line 123 (as a function)
- arch/powerpc/kvm/powerpc.c, line 65 (as a function)
- arch/riscv/kvm/vcpu.c, line 239 (as a function)
- arch/s390/kvm/kvm-s390.c, line 3952 (as a function)
- arch/x86/kvm/x86.c, line 10382 (as a function)
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/../../../virt/kvm/kvm_main.c __kvm_vcpu_kick() -> kvm_arch_vcpu_should_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->vcpu_id | |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | vcpu->vcpu_id | 0-s32max[c] |
| HALF_LOCKED2 | 0 | &vcpu->kvm->arch.xen.shinfo_cache.lock |