complete_emulated_msr_access identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

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

Referenced in 1 files:

arch/x86/kvm/msrs.c
- line 972
- line 1139

Smatch caller information:

arch/x86/kvm/msrs.c complete_emulated_rdmsr() -> complete_emulated_msr_access()

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
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

arch/x86/kvm/x86.c kvm_arch_vcpu_ioctl_run() -> kvm_arch_vcpu_ioctl_run ptr cui()

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->active.rb_root.rb_leftmost->prev	0
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.node.node.node.__rb_parent_color	1
PARAM_VALUE	0	vcpu->arch.apic->lapic_timer.timer_mode	0,131072-393216
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.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_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.osq.tail.counter	0-s32max
PARAM_VALUE	0	vcpu->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	vcpu->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	vcpu->mutex.wait_lock.owner_cpu	u32max
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->run->hypercall.ret	0-s32max,18446744071562067968-u64max
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	1
CAPPED_DATA	0	vcpu->kvm->mm	1
CAPPED_DATA	0	vcpu->kvm->srcu.srcu_ctrp	1
CAPPED_DATA	0	vcpu->kvm->srcu.srcu_reader_flavor	1
CAPPED_DATA	0	vcpu->vcpu_idx	1
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	vcpu->arch.cr8	0-14
USER_DATA	0	*vcpu->arch.pdptrs	0-u64max
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