Defined in 1 files as a function:
Referenced in 27 files:
- arch/arm64/kvm/arm.c
- arch/arm64/kvm/pmu-emul.c
- arch/arm64/kvm/vgic/vgic-v4.c, line 103
- arch/arm64/kvm/vgic/vgic-v5.c, line 256
- arch/arm64/kvm/vgic/vgic.c
- arch/loongarch/kvm/exit.c, line 847
- arch/loongarch/kvm/intc/dmsintc.c, line 63
- arch/loongarch/kvm/intc/eiointc.c, line 75
- arch/loongarch/kvm/intc/ipi.c
- arch/loongarch/kvm/vcpu.c, line 1483
- arch/powerpc/include/asm/kvm_ppc.h, line 601
- arch/powerpc/kvm/book3s.c, line 830
- arch/powerpc/kvm/book3s_pr.c, line 2069
- arch/powerpc/kvm/booke.c
- arch/powerpc/kvm/e500_emulate.c, line 78
- arch/powerpc/kvm/powerpc.c, line 1906
- arch/riscv/kvm/aia.c
- arch/riscv/kvm/vcpu.c
- arch/riscv/kvm/vcpu_timer.c, line 125
- arch/x86/kvm/hyperv.c, line 605
- arch/x86/kvm/i8259.c, line 67
- arch/x86/kvm/lapic.c
- arch/x86/kvm/svm/svm.c, line 3923
- arch/x86/kvm/vmx/nested.c, line 2293
- arch/x86/kvm/vmx/vmx.c, line 4441
- arch/x86/kvm/x86.c
- arch/x86/kvm/xen.c
Smatch caller information:
arch/x86/kvm/vmx/nested.c vmx_preemption_timer_fn() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
arch/x86/kvm/xen.c cancel_evtchn_poll() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
arch/x86/kvm/xen.c kvm_xen_check_poller() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.poll_evtchn | (-1)-4095 |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.xen.poll_mask | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->vcpu_id | 0-s32max |
| CAPPED_DATA | 0 | vcpu->vcpu_id | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOSPEC | 0 | vcpu->vcpu_id | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vcpu->vcpu_id | 0-s32max[c] |
| LOCK2 | &gpc->lock | ||
| LOCK2 | &kvm->srcu | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &kvm->arch.xen.shinfo_cache.lock | ||
| HALF_LOCKED2 | &kvm->irq_srcu | ||
| TYPE_LOCK | (struct gfn_to_pfn_cache)->lock | ||
| TYPE_LOCK | (struct kvm)->srcu |
arch/x86/kvm/xen.c kvm_xen_set_evtchn_fast() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 0-1025,1027-1029,1031-u64max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.vcpu_info_cache.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->vcpu_id | 0-s32max |
| CAPPED_DATA | 0 | vcpu->vcpu_id | 1 |
| NOSPEC | 0 | vcpu->vcpu_id | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | vcpu->vcpu_id | 0-s32max[c] |
| HALF_LOCKED2 | &kvm->arch.xen.shinfo_cache.lock | ||
| HALF_LOCKED2 | &kvm->irq_srcu |
arch/x86/kvm/xen.c xen_timer_callback() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.xen.timer_virq | 0-4095 |
| PARAM_VALUE | 0 | vcpu->kvm->arch.xen.shinfo_cache.kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->arch.xen.shinfo_cache.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm->srcu.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | vcpu->kvm->srcu.srcu_ctrp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &vcpu->kvm->arch.xen.shinfo_cache.lock | |
| TYPE_LOCK | (struct gfn_to_pfn_cache)->lock |
arch/x86/kvm/i8259.c pic_unlock() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic->regs | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock |
arch/x86/kvm/hyperv.c stimer_mark_pending() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.hyperv | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.hyperv->stimer_pending_bitmap | 4096-ptr_max |
| DATA_SOURCE | 0 | vcpu | r hv_stimer_to_vcpu |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
arch/x86/kvm/lapic.c __apic_accept_irq() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.pv.pv_unhalted | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c __apic_accept_irq() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c __apic_accept_irq() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c __apic_accept_irq() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c __apic_accept_irq() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/lapic.c apic_timer_expired() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | irq |
arch/x86/kvm/x86.c kvm_arch_async_page_present_queued() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu->arch.apf.pageready_pending | 0 |
| PARAM_VALUE | 0 | vcpu->arch.emulate_ctxt->ops->get_cr | 8265647234411626496 |
| PARAM_VALUE | 0 | vcpu->async_pf.done.next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.done.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->async_pf.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->kvm->mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | vcpu->kvm->mm->mmap_lock.first_waiter->type | 0-1 |
| CAPPED_DATA | 0 | vcpu->async_pf.done.next | 1 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/x86.c kvm_arch_memslots_updated() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &kvm->lock | ||
| HALF_LOCKED2 | &kvm->slots_lock | ||
| HALF_LOCKED2 | _T->lock |
arch/x86/kvm/x86.c kvm_arch_sync_dirty_log() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| NOCHECK_CALL | |||
| LOCK2 | &kvm->slots_lock | ||
| TYPE_LOCK | (struct kvm)->slots_lock |
arch/x86/kvm/x86.c kvm_gen_kvmclock_update() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 1-u64max |
| NOCHECK_CALL | |||
| LOCK2 | &v->kvm->srcu | ||
| LOCK2 | &v->mutex | ||
| TYPE_LOCK | (struct kvm)->srcu | ||
| TYPE_LOCK | (struct kvm_vcpu)->mutex |
arch/x86/kvm/svm/svm.c svm_complete_interrupt_delivery() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic->apicv_active | 0 |
| DATA_SOURCE | 0 | vcpu | $0 |
| NOCHECK_CALL |
arch/x86/kvm/vmx/vmx.c vmx_deliver_interrupt() -> kvm_vcpu_kick()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vcpu | 4096-ptr_max |
| PARAM_VALUE | 0 | vcpu->arch.apic->apicv_active | 0 |
| PARAM_VALUE | 0 | vcpu->kvm | 4096-ptr_max |
| CAPPED_DATA | 0 | vcpu | 1 |
| NOCHECK_CALL |