kvm_reg_mode_mask identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

arch/x86/kvm/regs.h, line 104 (as a function)

Referenced in 1 files:

arch/x86/kvm/regs.h

Smatch caller information:

arch/x86/kvm/vmx/sgx.c kvm_rbx_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->arch.regs	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/vmx/sgx.c kvm_rcx_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->arch.regs	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/vmx/sgx.c kvm_rdx_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->arch.regs	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/vmx/nested.c kvm_register_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/vmx/nested.c kvm_register_write() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.regs_avail	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/svm/svm.c kvm_rax_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.emulate_ctxt->ops->get_cr	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.regs	4096-ptr_max
PARAM_VALUE	0	vcpu->run->hypercall.ret	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->dst.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->fetch.data	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src2.valptr	0-255
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	*vcpu->arch.emulate_ctxt->fetch.end	0-255
USER_PTR	0	vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/svm/svm.c kvm_register_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.emulate_ctxt->ops->get_cr	4096-ptr_max
PARAM_VALUE	0	vcpu->run->hypercall.ret	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->dst.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->fetch.data	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src2.valptr	0-255
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	*vcpu->arch.emulate_ctxt->fetch.end	0-255
USER_PTR	0	vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/svm/svm.c kvm_register_write() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.emulate_ctxt->ops->get_cr	4096-ptr_max
PARAM_VALUE	0	vcpu->run->hypercall.ret	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->dst.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->fetch.data	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src2.valptr	0-255
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	*vcpu->arch.emulate_ctxt->fetch.end	0-255
USER_PTR	0	vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/msrs.c kvm_register_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.regs_avail	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/msrs.c kvm_register_write() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
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->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
BUF_SIZE	0	vcpu	s32min-(-1),1-s32max
BUF_SIZE	0	vcpu	s32min-(-1),1-s32max
CAPPED_DATA	0	vcpu	1
CAPPED_DATA	0	vcpu->kvm	1
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	vcpu->arch.cr8	0-14
USER_PTR	0	vcpu->arch.pdptrs
HALF_LOCKED2	0	&vcpu->kvm->srcu
HALF_LOCKED2	0	&vcpu->mutex

arch/x86/kvm/vmx/vmx.c kvm_register_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/vmx/vmx.c kvm_register_write() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.nested_run_pending	0
PARAM_VALUE	0	vcpu->arch.regs_avail	4096-ptr_max
PARAM_VALUE	0	vcpu->kvm	4096-ptr_max
DATA_SOURCE	0	vcpu	$0

arch/x86/kvm/svm/nested.c kvm_rax_read() -> kvm_reg_mode_mask()

Type	Parameter	Key	Value
PARAM_VALUE	0	vcpu	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.emulate_ctxt->ops->get_cr	4096-ptr_max
PARAM_VALUE	0	vcpu->arch.regs	4096-ptr_max
PARAM_VALUE	0	vcpu->run->hypercall.ret	0-s32max,18446744071562067968-u64max
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->dst.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->fetch.data	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src.valptr	0-255
PARAM_VALUE	0	*vcpu->arch.emulate_ctxt->src2.valptr	0-255
DATA_SOURCE	0	vcpu	$0
USER_DATA	0	*vcpu->arch.emulate_ctxt->fetch.end	0-255
USER_PTR	0	vcpu->arch.emulate_ctxt->fetch.end
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.intercept_message
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.reserved2
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.reserved3
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.reserved4
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.virtualization_fault_information
USER_PTR	0	vcpu->arch.hyperv->vp_assist_page.vtl_ret_actions