Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 reg r vmx_get_instr_info_reg2

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

Type Parameter Key Value
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 reg r vmx_get_instr_info_reg2

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

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

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

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

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

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->last_used_slot_gen 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0

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

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
PARAM_VALUE 0 vcpu->last_used_slot->as_id 0-1
PARAM_VALUE 0 vcpu->last_used_slot->base_gfn 0-18446744073709551614
PARAM_VALUE 0 vcpu->last_used_slot->id 0-32766
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0

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

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
PARAM_VALUE 0 vcpu->last_used_slot->as_id 0-1
PARAM_VALUE 0 vcpu->last_used_slot->base_gfn 0-18446744073709551614
PARAM_VALUE 0 vcpu->last_used_slot->id 0-32766
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0

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

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
PARAM_VALUE 1 reg 0-15
BUF_SIZE 0 vcpu (-1),7720
BUF_SIZE 0 vcpu (-1),7720
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 dr_interception() -> kvm_register_read()

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->guest_debug 1-u64max
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
PARAM_VALUE 1 reg 0-15
BUF_SIZE 0 vcpu (-1),7720
BUF_SIZE 0 vcpu (-1),7720
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 handle_fastpath_wrmsr_imm() -> kvm_register_read()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.apic 0,4096-ptr_max
PARAM_VALUE 0 vcpu->arch.apic->lapic_timer.timer_advance_ns 0-5000
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_dirty 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm->arch.vm_type 0-4,6-255
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 reg $2

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

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
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 reg $2

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

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
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0

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

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->guest_debug 1-u64max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0

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

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
PARAM_VALUE 1 reg 0-15
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 reg r vmx_get_instr_info_reg2