Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/smm.c reg_write() -> (struct x86_emulate_ops)->vm_bugged()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -0-8+0 $(-1)
NOCHECK_CALL

arch/x86/kvm/emulate.c emulate_exception() -> (struct x86_emulate_ops)->vm_bugged()

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_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
BUF_SIZE 0 ctxt->dst.addr.reg (-1),8
BUF_SIZE 0 ctxt->fetch.ptr (-1),15
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -0-8+0 $(-1)
NOCHECK_CALL
USER_DATA 0 ctxt->src.val 0-u32max
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 read_emulated() -> (struct x86_emulate_ops)->vm_bugged()

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

arch/x86/kvm/emulate.c reg_read() -> (struct x86_emulate_ops)->vm_bugged()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -0-8+0 $(-1)
NOCHECK_CALL

arch/x86/kvm/emulate.c reg_write() -> (struct x86_emulate_ops)->vm_bugged()

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->ops 4096-ptr_max
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -0-8+0 $(-1)
NOCHECK_CALL