Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/emulate.c __load_segment_descriptor() -> emulate_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->mode | 1-u32max |
| 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 | 1 | vec | 10-13 |
| PARAM_VALUE | 2 | error | 0,4-65532 |
| PARAM_VALUE | 3 | valid | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| FUZZY_MAX | 0 | ctxt->mode | 3 |
| FUZZY_MAX | 2 | error | 0 |
| BIT_INFO | 1 | vec | 0x8,0xf |
| BIT_INFO | 2 | error | 0x0,0xfffc |
| USER_DATA | 0 | ctxt->src.val | 0-u32max |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c emulate_db() -> emulate_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->d | 8192-u64max |
| PARAM_VALUE | 0 | ctxt->exception.address | 8192 |
| PARAM_VALUE | 0 | ctxt->exception.dr6 | 8192 |
| PARAM_VALUE | 0 | ctxt->exception.payload | 8192 |
| PARAM_VALUE | 0 | ctxt->mem_read.pos | 0 |
| PARAM_VALUE | 0 | ctxt->modrm_reg | 0-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.is_amd_compatible | 0-1 |
| PARAM_VALUE | 1 | vec | 1 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->d | 0x2000000000000,0xffffffffffffffff |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_de() -> emulate_exception()
| 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 | vec | 0 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_gp() -> emulate_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->cpl | 6737863978865057792 |
| PARAM_VALUE | 0 | ctxt->ops->fetch | 2258739512120655872 |
| PARAM_VALUE | 0 | ctxt->ops->get_cpuid | 291073540962553856 |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_dr | 6363670713866342400 |
| PARAM_VALUE | 0 | ctxt->ops->get_gdt | 6111009743717314560 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_xcr | 6722027107081879552 |
| PARAM_VALUE | 0 | ctxt->ops->guest_cpuid_is_intel_compatible | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->guest_has_fxsr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->halt | 6548181984119402496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->invlpg | 235395791615361024 |
| PARAM_VALUE | 0 | ctxt->ops->is_canonical_addr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->is_smm | 9048849403536982016 |
| PARAM_VALUE | 0 | ctxt->ops->leave_smm | 6128904722576306176 |
| PARAM_VALUE | 0 | ctxt->ops->read_gpr | 1005886465514696704 |
| PARAM_VALUE | 0 | ctxt->ops->read_pmc | 4606696898027712512 |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_cr | 5833301891177918464 |
| PARAM_VALUE | 0 | ctxt->ops->set_dr | 2753491279447883776 |
| PARAM_VALUE | 0 | ctxt->ops->set_gdt | 6242426400945483776 |
| PARAM_VALUE | 0 | ctxt->ops->set_idt | 6286225960034410496 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_xcr | 6009047679124041728 |
| PARAM_VALUE | 0 | ctxt->ops->vm_bugged | 6136517553627795456 |
| PARAM_VALUE | 0 | ctxt->ops->wbinvd | 339349817605853184 |
| PARAM_VALUE | 0 | ctxt->ops->write_gpr | 1556764139847757824 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 4096-ptr_max |
| PARAM_VALUE | 1 | vec | 13 |
| PARAM_VALUE | 2 | error | 0,2,4-65532 |
| PARAM_VALUE | 3 | valid | 1 |
| BUF_SIZE | 0 | ctxt->dst.addr.reg | (-1),8 |
| BUF_SIZE | 0 | ctxt->fetch.ptr | (-1),15 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 2 | error | $1 |
| BIT_INFO | 2 | error | 0x0,0xfffe |
| USER_DATA | 0 | ctxt->src.val | 0-u64max |
| USER_DATA | 0 | *ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs | |
| HALF_LOCKED2 | bh |
arch/x86/kvm/emulate.c emulate_nm() -> emulate_exception()
| 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 | 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 | vec | 7 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_ss() -> emulate_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->cpl | 6737863978865057792 |
| PARAM_VALUE | 0 | ctxt->ops->fetch | 2258739512120655872 |
| PARAM_VALUE | 0 | ctxt->ops->get_cpuid | 291073540962553856 |
| PARAM_VALUE | 0 | ctxt->ops->get_cr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_dr | 6363670713866342400 |
| PARAM_VALUE | 0 | ctxt->ops->get_gdt | 6111009743717314560 |
| PARAM_VALUE | 0 | ctxt->ops->get_idt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_msr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_segment | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->get_xcr | 6722027107081879552 |
| PARAM_VALUE | 0 | ctxt->ops->guest_has_fxsr | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->halt | 6548181984119402496 |
| PARAM_VALUE | 0 | ctxt->ops->intercept | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->invlpg | 235395791615361024 |
| PARAM_VALUE | 0 | ctxt->ops->is_smm | 9048849403536982016 |
| PARAM_VALUE | 0 | ctxt->ops->leave_smm | 6128904722576306176 |
| PARAM_VALUE | 0 | ctxt->ops->read_gpr | 1005886465514696704 |
| PARAM_VALUE | 0 | ctxt->ops->read_pmc | 4606696898027712512 |
| PARAM_VALUE | 0 | ctxt->ops->read_std | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->ops->set_cr | 5833301891177918464 |
| PARAM_VALUE | 0 | ctxt->ops->set_dr | 2753491279447883776 |
| PARAM_VALUE | 0 | ctxt->ops->set_gdt | 6242426400945483776 |
| PARAM_VALUE | 0 | ctxt->ops->set_idt | 6286225960034410496 |
| PARAM_VALUE | 0 | ctxt->ops->set_segment | 6488883502986878976 |
| PARAM_VALUE | 0 | ctxt->ops->set_xcr | 6009047679124041728 |
| PARAM_VALUE | 0 | ctxt->ops->vm_bugged | 6136517553627795456 |
| PARAM_VALUE | 0 | ctxt->ops->wbinvd | 339349817605853184 |
| PARAM_VALUE | 0 | ctxt->ops->write_gpr | 1556764139847757824 |
| PARAM_VALUE | 0 | ctxt->ops->write_std | 5847011921159122944 |
| PARAM_VALUE | 1 | vec | 12 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 1 |
| BUF_SIZE | 0 | ctxt->dst.addr.reg | (-1),8 |
| BUF_SIZE | 0 | ctxt->fetch.ptr | (-1),15 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 2 | error | $1 |
| USER_DATA | 0 | *ctxt->fetch.end | 0-255 |
| USER_PTR | 0 | ctxt->fetch.end | |
| USER_PTR | 0 | ctxt->vcpu->arch.pdptrs |
arch/x86/kvm/emulate.c emulate_ts() -> emulate_exception()
| 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 | 1 | vec | 10 |
| PARAM_VALUE | 2 | error | 0,4-65532 |
| PARAM_VALUE | 3 | valid | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| DATA_SOURCE | 2 | error | $1 |
| BIT_INFO | 2 | error | 0x0,0xfffc |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c emulate_ud() -> emulate_exception()
| 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 |
| PARAM_VALUE | 1 | vec | 6 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c flush_pending_x87_faults() -> emulate_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->d | 8192-u64max |
| PARAM_VALUE | 0 | ctxt->mem_read.pos | 0 |
| PARAM_VALUE | 1 | vec | 16 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 0 |
| DATA_SOURCE | 0 | ctxt | $0 |
| BIT_INFO | 0 | ctxt->d | 0x10000000000,0xffffffffffffffff |
| USER_PTR | 0 | ctxt->fetch.end |
arch/x86/kvm/emulate.c load_segment_descriptor() -> emulate_exception()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctxt | 4096-ptr_max |
| PARAM_VALUE | 0 | ctxt->execute | 1-u64max |
| 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 | 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 | vec | 13 |
| PARAM_VALUE | 2 | error | 0 |
| PARAM_VALUE | 3 | valid | 1 |
| DATA_SOURCE | 0 | ctxt | $0 |
| USER_PTR | 0 | ctxt->fetch.end |