Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/emulate.c em_clts() -> (struct x86_emulate_ops)->set_cr()

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 cr 0
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -160-8+0 $(-1)
BIT_INFO 2 val 0x0,0xfffffffffffffff7
BIT_INFO 2 val 0x0,0xfffffffffffffff7
NOCHECK_CALL
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_cr_write() -> (struct x86_emulate_ops)->set_cr()

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 cr 0-255
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -160-8+0 $(-1)
CONTAINER 1 *(-160-8+154) $(-1)
CONTAINER 2 *(-160-8+64+192) $(-1)
USER_PTR 0 ctxt->fetch.end

arch/x86/kvm/emulate.c em_lmsw() -> (struct x86_emulate_ops)->set_cr()

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

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

Type Parameter Key Value
PARAM_VALUE 0 ctxt 4096-ptr_max
PARAM_VALUE 0 ctxt->_eip 0-u32max
PARAM_VALUE 0 ctxt->dst.type 7
PARAM_VALUE 0 ctxt->eflags 0,2-4294983679
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->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
PARAM_VALUE 1 cr 0
PARAM_VALUE 2 val 0,8-u64max
DATA_SOURCE 0 ctxt $0
BIT_INFO 2 val 0x8,0xffffffffffffffff
NOCHECK_CALL
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 load_state_from_tss32() -> (struct x86_emulate_ops)->set_cr()

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->ops->read_std 4096-ptr_max
PARAM_VALUE 0 ctxt->ops->write_std 4096-ptr_max
PARAM_VALUE 0 ctxt->regs_dirty 0
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->gmem.pgoff 0-2251799813685247
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.mmu->permissions 0-u16max
PARAM_VALUE 0 *ctxt->vcpu->arch.ngpa_walk->permissions 0-u16max
PARAM_VALUE 1 cr 3
DATA_SOURCE 0 ctxt $0
CONTAINER 0 -160-8+0 $(-1)
USER_PTR 0 ctxt->fetch.end