Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c em_pop_sreg() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
PARAM_VALUE 0 ctxt->op_bytes 3-255
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->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_nr_fragments s32min-s32max
PARAM_VALUE 0 ctxt->vcpu->mmio_read_completed 0
PARAM_VALUE 0 *ctxt->mem_read->data 0-255
PARAM_VALUE 1 inc 1-253
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->op_bytes 3
NOCHECK_CALL
UNITS 1 inc unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_popa() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
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->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_nr_fragments s32min-s32max
PARAM_VALUE 0 ctxt->vcpu->mmio_read_completed 0
PARAM_VALUE 0 *ctxt->mem_read->data 0-255
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
UNITS 1 inc unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_push_sreg() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
PARAM_VALUE 0 ctxt->op_bytes 4
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-u16max
PARAM_VALUE 0 ctxt->src.mm_val 0-u16max
PARAM_VALUE 0 ctxt->src.val 0-u16max
PARAM_VALUE 0 ctxt->src.val64 0-u16max
PARAM_VALUE 0 ctxt->src.valptr 0-u16max
PARAM_VALUE 0 ctxt->src.vec_val 0-u16max
PARAM_VALUE 0 ctxt->src.vec_val2 0-u16max
PARAM_VALUE 1 inc (-2)
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_ret_far_imm() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
PARAM_VALUE 0 ctxt->mode 0-4
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->cpl 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->vcpu->arch.gva_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->last_used_slot->as_id 0-1
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->base_gfn 0-s64max
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->gmem.pgoff 0-2251799813685247
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->id 0-32766
PARAM_VALUE 0 ctxt->vcpu->mmio_nr_fragments 0
PARAM_VALUE 0 ctxt->vcpu->mmio_read_completed 0
PARAM_VALUE 0 *ctxt->mem_read->data 0-255
PARAM_VALUE 0 *ctxt->vcpu->arch.gva_walk->permissions 0-u16max
PARAM_VALUE 0 *ctxt->vcpu->kvm->mmu_lock.owner (-4611686018427387904)-4611686018427387903
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
UNITS 1 inc unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_ret_near_imm() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
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->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_nr_fragments s32min-s32max
PARAM_VALUE 0 ctxt->vcpu->mmio_read_completed 0
PARAM_VALUE 0 *ctxt->mem_read->data 0-255
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
UNITS 1 inc unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c emulate_pop() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->execute 1-u64max
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->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_nr_fragments 0
PARAM_VALUE 0 ctxt->vcpu->mmio_read_completed 0
PARAM_VALUE 0 *ctxt->mem_read->data 0-255
BUF_SIZE 0 ctxt->dst.addr.reg (-1),8
DATA_SOURCE 0 ctxt $0
DATA_SOURCE 1 inc $2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 inc
UNITS 1 inc unit_byte
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c emulate_push() -> rsp_increment()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 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 6488883502986878976
PARAM_VALUE 0 ctxt->ops->write_std 5847011921159122944
PARAM_VALUE 1 inc (-2147483647)-s32max
DATA_SOURCE 0 ctxt $0
NOCHECK_CALL
USER_DATA 0 ctxt->src.val 0-u32max
USER_PTR 0 ctxt->fetch.end
USER_PTR 0 ctxt->vcpu->arch.pdptrs