complete_emulated_io identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/x86.c, line 8769 (as a function)

Referenced in 1 files:

arch/x86/kvm/x86.c
- line 8779
- line 8836

Smatch caller information:

arch/x86/kvm/x86.c complete_emulated_mmio() -> complete_emulated_io()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->____srcu_idx	0-1
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer.base->index	0-7
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer.is_queued	1
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer.node.expires	0-s64max
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer_mode	0,131072-393216
PARAM_VALUE	0	vcpu->arch.apic->pending_events	1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->arch.pv.pv_unhalted	1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type	0-1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->ready	1
PARAM_VALUE	0	vcpu->arch.complete_userspace_io	0
PARAM_VALUE	0	vcpu->arch.exception_from_userspace	0
PARAM_VALUE	0	vcpu->arch.guest_fpu.fpstate	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.guest_fpu.fpstate->in_use	1
PARAM_VALUE	0	vcpu->arch.tsc_catchup	1
PARAM_VALUE	0	vcpu->arch.tsc_offset_adjustment	0
PARAM_VALUE	0	vcpu->cpu	0
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vcpu->kvm->arch.apicv_update_lock.first_waiter->type	0-1
PARAM_VALUE	0	vcpu->kvm->arch.kvmclock_update_rs.lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->kvm->arch.noncoherent_dma_count.counter	0-1
PARAM_VALUE	0	vcpu->kvm->online_vcpus.counter	(-2147483647)-s32max
PARAM_VALUE	0	vcpu->kvm->srcu.srcu_ctrp	4096-ptr_max
PARAM_VALUE	0	vcpu->mmio_fragments	4096-ptr_max
PARAM_VALUE	0	vcpu->mmio_is_write	0
PARAM_VALUE	0	vcpu->mmio_needed	0
PARAM_VALUE	0	vcpu->mmio_read_completed	1
PARAM_VALUE	0	vcpu->mutex.dep_map->name	0-255
PARAM_VALUE	0	vcpu->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vcpu->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vcpu->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vcpu->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->preempt_notifier.link->pprev	4096-ptr_max
PARAM_VALUE	0	vcpu->preempt_notifier.link.pprev	4096-ptr_max
PARAM_VALUE	0	vcpu->run	4096-ptr_max
PARAM_VALUE	0	vcpu->run->flags	0
PARAM_VALUE	0	vcpu->vcpu_idx	s32min-2147483646
BUF_SIZE	0	vcpu	s32min-(-2),1-s32max
BUF_SIZE	0	vcpu	s32min-(-2),1-s32max
CAPPED_DATA	0	vcpu	1
CAPPED_DATA	0	vcpu->kvm->mm	1
CAPPED_DATA	0	vcpu->kvm->srcu.srcu_ctrp	1
CAPPED_DATA	0	vcpu->mmio_nr_fragments	1
CAPPED_DATA	0	vcpu->vcpu_idx	1
DATA_SOURCE	0	vcpu	$0
PARAM_COMPARE	0	vcpu->mmio_cur_fragment	>= $0->mmio_nr_fragments
USER_DATA	0	vcpu->arch.cr8	0-14
USER_PTR	0	vcpu->arch.pdptrs
LOCK2	0	&vcpu->kvm->srcu
LOCK2	0	&vcpu->mutex
TYPE_LOCK		(struct kvm)->srcu
TYPE_LOCK		(struct kvm_vcpu)->mutex

arch/x86/kvm/x86.c complete_emulated_pio() -> complete_emulated_io()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->____srcu_idx	0-1
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer.base->index	0-7
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer.is_queued	1
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer.node.expires	0-s64max
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer_mode	0,131072-393216
PARAM_VALUE	0	vcpu->arch.apic->pending_events	1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->arch.pv.pv_unhalted	1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->kvm->arch.apicv_update_lock.first_waiter->type	0-1
PARAM_VALUE	0	vcpu->arch.apic->vcpu->ready	1
PARAM_VALUE	0	vcpu->arch.complete_userspace_io	0
PARAM_VALUE	0	vcpu->arch.exception_from_userspace	0
PARAM_VALUE	0	vcpu->arch.guest_fpu.fpstate	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.guest_fpu.fpstate->in_use	1
PARAM_VALUE	0	vcpu->arch.pio.count	1-u64max
PARAM_VALUE	0	vcpu->arch.tsc_catchup	1
PARAM_VALUE	0	vcpu->arch.tsc_offset_adjustment	0
PARAM_VALUE	0	vcpu->cpu	0
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vcpu->kvm->arch.apicv_update_lock.first_waiter->type	0-1
PARAM_VALUE	0	vcpu->kvm->arch.kvmclock_update_rs.lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->kvm->arch.noncoherent_dma_count.counter	0-1
PARAM_VALUE	0	vcpu->kvm->online_vcpus.counter	(-2147483647)-s32max
PARAM_VALUE	0	vcpu->kvm->srcu.srcu_ctrp	4096-ptr_max
PARAM_VALUE	0	vcpu->mutex.dep_map->name	0-255
PARAM_VALUE	0	vcpu->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	vcpu->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	vcpu->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vcpu->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->preempt_notifier.link->pprev	4096-ptr_max
PARAM_VALUE	0	vcpu->preempt_notifier.link.pprev	4096-ptr_max
PARAM_VALUE	0	vcpu->run	4096-ptr_max
PARAM_VALUE	0	vcpu->run->flags	0
PARAM_VALUE	0	vcpu->vcpu_idx	s32min-2147483646
BUF_SIZE	0	vcpu	s32min-(-2),1-s32max
BUF_SIZE	0	vcpu	s32min-(-2),1-s32max
CAPPED_DATA	0	vcpu	1
CAPPED_DATA	0	vcpu->kvm->mm	1
CAPPED_DATA	0	vcpu->kvm->srcu.srcu_ctrp	1
CAPPED_DATA	0	vcpu->vcpu_idx	1
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	vcpu->arch.cr8	0-14
USER_PTR	0	vcpu->arch.pdptrs
LOCK2	0	&vcpu->kvm->srcu
LOCK2	0	&vcpu->mutex
TYPE_LOCK		(struct kvm)->srcu
TYPE_LOCK		(struct kvm_vcpu)->mutex