Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c __emulate_int_real() -> em_push()
| 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 | 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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c __emulate_int_real() -> em_push()
| 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-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 | 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 |
| 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-u16max |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->op_bytes | |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c __emulate_int_real() -> em_push()
| 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->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 |
| CAPPED_DATA | 0 | ctxt->vcpu->arch.mmio_gva | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->eflags | 0x0,0xfffffffffffbfcff |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->op_bytes | |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_call() -> em_push()
| 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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_call_far() -> em_push()
| 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->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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_call_far() -> em_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| 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->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_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 |
| CAPPED_DATA | 0 | ctxt->vcpu->arch.mmio_gva | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->op_bytes | |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_call_near_abs() -> em_push()
| 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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->src.val | 0x0,0x7fffffffffffffff |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_push_sreg() -> em_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| PARAM_VALUE | 0 | ctxt->op_bytes | 0-3,5-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->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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| FUZZY_MAX | 0 | ctxt->op_bytes | 2 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_pusha() -> em_push()
| 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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->op_bytes | |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c em_pushf() -> em_push()
| 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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->src.val | 0x0,0xfffffffffffdffff |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulator_do_task_switch() -> em_push()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->_eip | 0-u32max |
| PARAM_VALUE | 0 | ctxt->ad_bytes | 2,4 |
| PARAM_VALUE | 0 | ctxt->dst.type | 7 |
| PARAM_VALUE | 0 | ctxt->eflags | 0,2-4294983679 |
| PARAM_VALUE | 0 | ctxt->lock_prefix | 0 |
| PARAM_VALUE | 0 | ctxt->op_bytes | 2,4 |
| 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->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.mmu->cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.mmu->pkru_mask | 0-4294967295 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.cpu_role.base.cr0_wp | 0-1 |
| PARAM_VALUE | 0 | ctxt->vcpu->arch.ngpa_walk.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 | 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->id | 0-32766 |
| PARAM_VALUE | 0 | ctxt->vcpu->last_used_slot->npages | 0-4503599627370495 |
| PARAM_VALUE | 0 | *ctxt->vcpu->arch.ngpa_walk->permissions | 0-u16max |
| DATA_SOURCE | 0 | ctxt | $0 |
| FUZZY_MAX | 0 | ctxt->ad_bytes | 4 |
| BIT_INFO | 0 | ctxt->ad_bytes | 0x0,0x6 |
| HARD_MAX | 0 | ctxt->ad_bytes | 4 |
| USER_DATA | 0 | *ctxt->vcpu->arch.pdptrs | s64min-s64max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c x86_emulate_insn() -> (struct x86_emulate_ctxt)->execute()
| 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_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 |
| DATA_SOURCE | 0 | ctxt | $0 |
| CONTAINER | 0 | -120+0 | $(-1) |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->dst.bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->src.bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ctxt->src2.bytes | |
| USER_PTR | 0 | ctxt->fetch.end |