Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c __emulate_int_real() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 8853942836760453120
PARAM_VALUE 0 ctxt->ops->get_msr 8129238678163517440
PARAM_VALUE 0 ctxt->ops->get_segment 7209599553600106496
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 5532471905094541312
PARAM_VALUE 0 ctxt->ops->set_segment 6488883502986878976
PARAM_VALUE 0 ctxt->ops->write_std 5847011921159122944
PARAM_VALUE 0 ctxt->src.data 0-u32max
PARAM_VALUE 0 ctxt->src.mm_val 0-u32max
PARAM_VALUE 0 ctxt->src.val 0-u32max
PARAM_VALUE 0 ctxt->src.val64 0-u32max
PARAM_VALUE 0 ctxt->src.valptr 0-u32max
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->arch.indirect_shadow_pages 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->mmu_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->mmu_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 0 ctxt->vcpu->mmio_cur_fragment 0
PARAM_VALUE 0 ctxt->vcpu->mmio_is_write 0-1
PARAM_VALUE 0 ctxt->vcpu->mmio_needed 1
PARAM_VALUE 0 ctxt->vcpu->mmio_nr_fragments 0-15
PARAM_VALUE 0 ctxt->vcpu->run->exit_reason 6
PARAM_VALUE 0 ctxt->vcpu->run->mmio.is_write 0-1
PARAM_VALUE 0 ctxt->vcpu->run->mmio.len 0-8
PARAM_VALUE 0 *ctxt->vcpu->run->mmio.data 0-255
PARAM_VALUE 2 data 7750539911358119936
PARAM_VALUE 3 size 2
BUF_SIZE 2 data 2
CAPPED_DATA 0 ctxt->vcpu->arch.mmio_gva 1
DATA_SOURCE 0 ctxt $0
BIT_INFO 0 ctxt->eflags 0x0,0xfffffffffffbfcff
USER_DATA 0 ctxt->src.val 0-u32max
NO_OVERFLOW_SIMPLE 0 ctxt->op_bytes
UNITS 1 linear unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c __emulate_int_real() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 8853942836760453120
PARAM_VALUE 0 ctxt->ops->get_msr 8129238678163517440
PARAM_VALUE 0 ctxt->ops->get_segment 7209599553600106496
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 5532471905094541312
PARAM_VALUE 0 ctxt->ops->set_segment 6488883502986878976
PARAM_VALUE 0 ctxt->ops->write_std 5847011921159122944
PARAM_VALUE 0 ctxt->src.data 0-u32max
PARAM_VALUE 0 ctxt->src.mm_val 0-u32max
PARAM_VALUE 0 ctxt->src.val 0-u32max
PARAM_VALUE 0 ctxt->src.val64 0-u32max
PARAM_VALUE 0 ctxt->src.valptr 0-u32max
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.fmt.pkru_mask 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->arch.indirect_shadow_pages 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->mmu_lock.owner_cpu 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->mmu_lock.raw_lock.wlocked 0-255
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 0 ctxt->vcpu->mmio_cur_fragment 0
PARAM_VALUE 0 ctxt->vcpu->mmio_is_write 0-1
PARAM_VALUE 0 ctxt->vcpu->mmio_needed 1
PARAM_VALUE 0 ctxt->vcpu->mmio_nr_fragments 0-15
PARAM_VALUE 0 ctxt->vcpu->run->exit_reason 6
PARAM_VALUE 0 ctxt->vcpu->run->mmio.is_write 0-1
PARAM_VALUE 0 ctxt->vcpu->run->mmio.len 0-8
PARAM_VALUE 0 *ctxt->vcpu->run->mmio.data 0-255
PARAM_VALUE 2 data 2890681764370096128
PARAM_VALUE 3 size 2
BUF_SIZE 2 data 2
CAPPED_DATA 0 ctxt->vcpu->arch.mmio_gva 1
DATA_SOURCE 0 ctxt $0
BIT_INFO 0 ctxt->eflags 0x0,0xfffffffffffbfcff
USER_DATA 0 ctxt->src.val 0-u32max
NO_OVERFLOW_SIMPLE 0 ctxt->op_bytes
UNITS 1 linear unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c __load_segment_descriptor() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->mode 4
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_msr 8129238678163517440
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->set_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->write_std 4096-ptr_max
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->as_id 0-1
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->id 0-32766
PARAM_VALUE 2 data 4484176093039853568
PARAM_VALUE 2 *data 0
PARAM_VALUE 3 size 4
BUF_SIZE 2 data 4
DATA_SOURCE 0 ctxt $0
USER_DATA 0 ctxt->src.val 0-u32max
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end
USER_PTR 0 ctxt->vcpu->arch.pdptrs

arch/x86/kvm/emulate.c read_interrupt_descriptor() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->regs_dirty 0
PARAM_VALUE 0 ctxt->regs_valid 0
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 2 data 7725038339932590080
PARAM_VALUE 3 size 8
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 2 data $2
UNITS 1 linear unit_byte
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c read_segment_descriptor() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_cr 8265647234411626496
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_msr 8129238678163517440
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->intercept 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->set_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->write_std 4096-ptr_max
PARAM_VALUE 2 data 5003382777688281088,5115147109071486976,7311248117179772928
PARAM_VALUE 3 size 8
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 2 data $2
USER_DATA 0 ctxt->src.val 0-u32max
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end
USER_PTR 0 ctxt->vcpu->arch.pdptrs

arch/x86/kvm/emulate.c task_switch_16() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->regs_dirty 0
PARAM_VALUE 0 ctxt->regs_valid 0
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 2 data 1403991590531235840
PARAM_VALUE 3 size 44
BUF_SIZE 2 data 44
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 linear $2
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c task_switch_16() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->write_std 4096-ptr_max
PARAM_VALUE 0 ctxt->regs_dirty 0
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.fmt.pkru_mask 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 2 data 1403991590531235840
PARAM_VALUE 3 size 44
BUF_SIZE 2 data 44
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 linear r get_desc_base
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c task_switch_32() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->regs_dirty 0
PARAM_VALUE 0 ctxt->regs_valid 0
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 2 data 1282010372178436096
PARAM_VALUE 3 size 104
BUF_SIZE 2 data 104
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 linear $2
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c task_switch_32() -> linear_read_system()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_idt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->get_segment 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->read_std 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->write_std 4096-ptr_max
PARAM_VALUE 0 ctxt->regs_dirty 0
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.cpu_role.base.cr0_wp 0-1
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.fmt.pkru_mask 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_bugged 0-1
PARAM_VALUE 0 ctxt->vcpu->kvm->vm_dead 0-1
PARAM_VALUE 2 data 1282010372178436096
PARAM_VALUE 3 size 104
BUF_SIZE 2 data 104
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 linear r get_desc_base
UNITS 3 size unit_byte
USER_PTR 0 ctxt->fetch.end