complete_emulator_pio_in 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 5404 (as a function)

Referenced in 1 files:

arch/x86/kvm/x86.c

Smatch caller information:

arch/x86/kvm/x86.c complete_fast_pio_in() -> complete_emulator_pio_in()

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
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
PARAM_VALUE	1	val	4340311985066233856
BUF_SIZE	0	vcpu	s32min-(-2),1-s32max
BUF_SIZE	0	vcpu	s32min-(-2),1-s32max
BUF_SIZE	1	val	8
CAPPED_DATA	0	vcpu	1
CAPPED_DATA	0	vcpu->arch.cui_linear_rip	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
NOCHECK_CALL
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_sev_es_emulated_ins() -> complete_emulator_pio_in()

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->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
BUF_SIZE	1	val	s32min,1-65536
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
NOCHECK_CALL
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 emulator_pio_in_emulated() -> complete_emulator_pio_in()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.pio.count	1-u64max
BUF_SIZE	1	val	8,1024
BUF_SIZE	1	val	8,1024
DATA_SOURCE	1	val	$3
NOCHECK_CALL
HALF_LOCKED2		&vcpu->kvm->srcu
HALF_LOCKED2		&vcpu->mutex