Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c check_dr_read() -> (struct x86_emulate_ops)->cpl()

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 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 1
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -168-8+0 $(-1)
BIT_INFO 0 ctxt->d 0x2000000000000,0xffffffffffffffff
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c check_dr_read() -> (struct x86_emulate_ops)->cpl()

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 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
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -168-8+0 $(-1)
BIT_INFO 0 ctxt->d 0x2000000000000,0xffffffffffffffff
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c check_rdpmc() -> (struct x86_emulate_ops)->cpl()

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 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_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 -168-8+0 $(-1)
BIT_INFO 0 ctxt->d 0x2000000000000,0xffffffffffffffff
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c check_rdtsc() -> (struct x86_emulate_ops)->cpl()

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 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_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 -168-8+0 $(-1)
BIT_INFO 0 ctxt->d 0x2000000000000,0xffffffffffffffff
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_call_far() -> (struct x86_emulate_ops)->cpl()

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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_jmp_far() -> (struct x86_emulate_ops)->cpl()

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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_ret_far() -> (struct x86_emulate_ops)->cpl()

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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_smsw() -> (struct x86_emulate_ops)->cpl()

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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_store_sreg() -> (struct x86_emulate_ops)->cpl()

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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c emulate_popf() -> (struct x86_emulate_ops)->cpl()

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
BUF_SIZE 0 ctxt->dst.addr.reg 8
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c emulate_store_desc_ptr() -> (struct x86_emulate_ops)->cpl()

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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c emulator_bad_iopl() -> (struct x86_emulate_ops)->cpl()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->mode 2-u32max
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
CONTAINER 0 -168-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c emulator_do_task_switch() -> (struct x86_emulate_ops)->cpl()

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 0 ctxt->vcpu->last_used_slot->as_id 0-1
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->id 0-32766
DATA_SOURCE 0 ctxt $0
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c load_segment_descriptor() -> (struct x86_emulate_ops)->cpl()

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
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -168-8+0 $(-1)
USER_DATA 0 ctxt->src.val 0-u32max
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c x86_decode_insn() -> (struct x86_emulate_ops)->cpl()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ad_bytes 2,4,8
PARAM_VALUE 0 ctxt->fetch.end 4096-ptr_max
PARAM_VALUE 0 ctxt->fetch.ptr 4096-u64max
PARAM_VALUE 0 ctxt->intercept 0
PARAM_VALUE 0 ctxt->memop.type 7
PARAM_VALUE 0 ctxt->memopp 0
PARAM_VALUE 0 ctxt->op_bytes 2,4,8,16,32
PARAM_VALUE 0 ctxt->opcode_len 1-3
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
PARAM_VALUE 0 ctxt->vcpu->arch.gva_walk.fmt.pkru_mask 0-4294967295
PARAM_VALUE 0 ctxt->vcpu->last_used_slot->base_gfn 0-s64max
DATA_SOURCE 0 ctxt $0
FUZZY_MAX 0 ctxt->ad_bytes 4
FUZZY_MAX 0 ctxt->op_bytes 8
FUZZY_MAX 0 ctxt->opcode_len 3
CONTAINER 0 -168-8+0 $(-1)
BIT_INFO 0 ctxt->d 0x10000000000000,0xfffffffffffc7fff
USER_DATA 0 *ctxt->fetch.end 0-255

arch/x86/kvm/emulate.c x86_emulate_insn() -> (struct x86_emulate_ops)->cpl()

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 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_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->d 0x8000000,0xffffffffffffffff
USER_PTR 0 ctxt->fetch.end