Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c em_leave() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 1 | dest | 4096-ptr_max |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_pop() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 1 | dest | 4096-ptr_max |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_pop_sreg() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 1 | dest | 6241785708735692800 |
| PARAM_VALUE | 1 | *dest | 0 |
| PARAM_VALUE | 2 | len | 2 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_popa() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 1 | dest | 788570949151948800 |
| PARAM_VALUE | 1 | *dest | 0-255 |
| BUF_SIZE | 1 | dest | 4 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_ret() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 1 | dest | 8410071961479462912 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_ret_far() -> emulate_pop()
| 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 | 1 | dest | 2598075017480994816 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_ret_far() -> emulate_pop()
| 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 |
| PARAM_VALUE | 1 | dest | 5552133648109830144 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_ret_near_imm() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 1 | dest | 5577751316905172992 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_iret_real() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 0 |
| 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 | 1 | dest | 5849072687584604160 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_iret_real() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 0 |
| 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 | dest | 7028958850452185088 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_iret_real() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->mode | 0 |
| 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 | dest | 1065760792134860800 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_popf() -> emulate_pop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->dst.addr.reg | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->dst.bytes | 0-255 |
| PARAM_VALUE | 0 | ctxt->dst.type | 0 |
| 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 | 1 | dest | 5742769884836438016 |
| PARAM_VALUE | 1 | *dest | 0 |
| BUF_SIZE | 0 | ctxt->dst.addr.reg | 8 |
| BUF_SIZE | 1 | dest | 8 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 2 | len | $2 |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 0 | ctxt->fetch.end |