Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/vmx/sgx.c handle_encls_ecreate() -> kvm_read_guest_virt()

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 addr 0-72057594037927935
PARAM_VALUE 2 val 2023879519417593856
PARAM_VALUE 3 bytes 32
PARAM_VALUE 4 exception 7456769669496238080
BUF_SIZE 2 val 32
DATA_SOURCE 0 vcpu $0
UNITS 3 bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 1002030400654229504
PARAM_VALUE 3 bytes 16
PARAM_VALUE 4 exception 5242736733455290368
BUF_SIZE 2 val 16
DATA_SOURCE 0 vcpu $0
UNITS 3 bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 4901718831695769600
PARAM_VALUE 3 bytes 16
PARAM_VALUE 4 exception 5796569902717255680
BUF_SIZE 2 val 16
DATA_SOURCE 0 vcpu $0
UNITS 3 bytes unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 4833614437777596416
PARAM_VALUE 2 *val 0
PARAM_VALUE 3 bytes 4,8
PARAM_VALUE 4 exception 2219489774639230976
BUF_SIZE 2 val 8
DATA_SOURCE 0 vcpu $0
BIT_INFO 3 bytes 0x0,0xc

arch/x86/kvm/vmx/nested.c nested_vmx_get_vmptr() -> kvm_read_guest_virt()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.regs_avail 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 2853018119300866048,2968053134988914688,8629036935344103424
PARAM_VALUE 3 bytes 8
PARAM_VALUE 4 exception 99475292632862720
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 2 val $1
UNITS 3 bytes unit_byte

arch/x86/kvm/xen.c kvm_xen_hcall_evtchn_send() -> kvm_read_guest_virt()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
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 2 val 7798881160983437312
PARAM_VALUE 3 bytes 4
PARAM_VALUE 4 exception 7393155625447645184
BUF_SIZE 2 val 4
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $1
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
UNITS 3 bytes unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/xen.c kvm_xen_hcall_vcpu_op() -> kvm_read_guest_virt()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.xen.timer_virq 1-u32max
PARAM_VALUE 0 vcpu->arch.xen.vcpu_id 0-4294967294
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 2 val 6091993678493908992
PARAM_VALUE 3 bytes 12,16
PARAM_VALUE 4 exception 327575884403183616
BUF_SIZE 2 val 16
CAPPED_DATA 0 vcpu->arch.xen.vcpu_id 1
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $4
FUZZY_MAX 3 bytes 16
BIT_INFO 3 bytes 0x0,0x1c
HARD_MAX 3 bytes 16
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
UNITS 3 bytes unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/xen.c kvm_xen_schedop_poll() -> kvm_read_guest_virt()

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->kvm 4096-ptr_max
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 2 val 4940366042535063552
PARAM_VALUE 3 bytes 16
PARAM_VALUE 4 exception 3156238591372398592
BUF_SIZE 2 val 16
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $2
BIT_INFO 0 vcpu->kvm->arch.xen.hvm_config.flags 0x20,0xffffffff
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
UNITS 3 bytes unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/xen.c kvm_xen_schedop_poll() -> kvm_read_guest_virt()

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->kvm 4096-ptr_max
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 2 val 7022094667451793408
PARAM_VALUE 3 bytes 24
PARAM_VALUE 4 exception 3156238591372398592
BUF_SIZE 2 val 24
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $2
BIT_INFO 0 vcpu->kvm->arch.xen.hvm_config.flags 0x20,0xffffffff
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
UNITS 3 bytes unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/xen.c kvm_xen_schedop_poll() -> kvm_read_guest_virt()

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->kvm 4096-ptr_max
PARAM_VALUE 0 vcpu->last_used_slot_gen 0-2,9223372034707292161-9223372036854775809,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 addr 0-u32max,4909530882024382464
PARAM_VALUE 2 val 4096-ptr_max
PARAM_VALUE 3 bytes 0-512
PARAM_VALUE 4 exception 3156238591372398592
BUF_SIZE 2 val 4,8-512
DATA_SOURCE 0 vcpu $0
BIT_INFO 0 vcpu->kvm->arch.xen.hvm_config.flags 0x20,0xffffffff
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
USER_DATA 3 bytes 0-512[c]
BYTE_COUNT 2 ==val3 8050
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/x86.c handle_ud() -> kvm_read_guest_virt()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 2 val 3098211164272345088
PARAM_VALUE 3 bytes 5
PARAM_VALUE 4 exception 2079153679134232576
BUF_SIZE 2 val 5
DATA_SOURCE 0 vcpu $0
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
USER_DATA 1 addr 0-u64max
UNITS 3 bytes unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end

arch/x86/kvm/x86.c kvm_handle_invpcid() -> kvm_read_guest_virt()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 1 addr 0-144115188075855871
PARAM_VALUE 2 val 7693575253251403776
PARAM_VALUE 3 bytes 16
PARAM_VALUE 4 exception 695487707573551104
BUF_SIZE 2 val 16
CAPPED_DATA 1 addr 1
CAPPED_DATA 1 addr 1
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 1 addr $2
USER_DATA 0 *vcpu->arch.emulate_ctxt->fetch.end 0-255
UNITS 1 addr unit_byte
UNITS 3 bytes unit_byte
USER_PTR 0 vcpu->arch.emulate_ctxt->fetch.end